(4000 gigatons)/(density of ice)