1431X2 . ) ( 1232 .)