PicADSB "AVR format" tag

Hello,
does anybody know what is format of the tag in AVR format messages of 
PicADSB decoder (http://rxcontrol.free.fr/PicADSB/index.html)?
It is mentioned here it is 48bits long, but not mentioned frequency of 
the timestamp.

Thanks,
Ondrej