( 7 612 .)