while(0<1)println(readLine sortBy(_*3%14)apply 1)