#include<bits/stdc++.h> int main() { int x; scanf("%d",&x); printf("%d",x/5001000+x%500/55); return 0; }