6 * ( 9137 .)