while(1>0)println(readf1("{0}4")+"1")