( 18 , 612 .)