aAhKKSO ( 3900 tons ).