for(i<-1 to 35)printf(i+"K: %.1fmi\n",i*.4577)