( 15 , 072 .)