while(0<1)println(readLine.replaceAll("[A-Z]"," $0")toLowerCase)