( 12 , 616 .)