9708 XX=INT(X)