estensione file docfa

S.O.S.
Ho bisogno di aiuto....
In studio abiamo cambiato un pc questa mattina e quindi installato di nuovo il docfa.
La persona che lavora sul catasto non aveva esportato gli ultimi file su cui stava lavorando e quindi abbiamo perso circa 80 docfa... ;-)
Ora il tecnico che ha portato via il vecchio pc ha detto che vede di recuperarli, ma la "ragazza del docfa" non si ricorda l'estezione che hanno i file. Per intenderci quando si esporta il file su floppy x il catasto che estensione ha questo?
Vi prego... aiuto... grazie grazie..