MizarVersion = '7.0.07';
MMLVersion = '4.16.871';
FMVersion = 'bara';
QueryVersion = '1.2.12';
MirrorDate = 'October 12, 2004';
FMVersionEng = 'rose';