8010X1 ) ( 6533 .)