This is an old revision of the document!
Type module VSN numbers here BKG-0035/2000/1024 loaded in Mk5 SHAO-006/1600/1024 ASI-0003/1600/1024 UVLBI-03/2400/1024 UVLBI-06/2400/1024