( 15 , 312 .)