( 13 , 072 .)