12 , 633X3 .)