1232 , 3 .)