9742 x 2 } ( 4282 .)