1233X8 ) ( 14713 .)