GALLILEO ( 4900 ton .)