0625 ) ( 9400 .)