11442x3 ) ( 6209 .)