12 , 042X3 .)