#include<cstdio>
#include<cmath>
void main()
{
    int n,c,t=1;
    while(scanf("%d",&n)==1&&n){
        c=n/2*1.5/(62*30000);
        printf("File #%d\nJohn needs %d floppies.\n\n",t++,c+1);
    }
}