6543X1- ( 10 , 823 .)