11643 ) ( 1231 .)