--main = print (lex "1x23")
main = print (reads "1x23")