7,537 tons m . fl.