( 13 , 412 .)