BA88AHO ( 3000 tons ) , HIFASTO ( 3000 tens ),