12 , 633X8 .)