( 5 , 612 .)