( 13 , 612 .)