(define x (read)) (print (* x 10))