7612x2 ) ( 4493 .)