( 13 , 312 .)