10225 x _ 3 ) ( 5537 .)