( 9,15 e. m.