#include<stdio.h>#include<math.h>static int floppy(int s){s = (s + 1) / 2;s += (s + 1) / 2;int line = s % 62 ? s / 62 + 1 : s / 62;return line % 30000 ? line / 30000 + 1 : line / 30000;}int main(){int d, cs = 0;while (scanf("%d", &d), d){printf("File #%dn", ++cs);printf("John needs %d floppies.nn", floppy(d));}return 0;}


