( 9 , 612 .)