/* package whatever; // don't place package name! */
import java.util.* ;
import java.lang.* ;
import java.io.* ;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
{
Scanner oi
= new Scanner
( System .
in ) ; double a = oi.nextInt ( ) ;
double b = 0 ;
double c = 0 ;
if ( a<= 1000 ) {
if ( "y" .equals ( k) ) b= 8 + 5 ;
if ( "n" .equals ( k) ) b= 8 ;
}
else {
if ( ( a- 1000 ) % 500> 0 ) c= ( a+ ( 500 - ( a- 1000 ) % 500) - 1000 ) / 500 ;
if ( "y" .equals ( k) ) b= ( c* 4 + 8 + 5 ) ;
if ( "n" .equals ( k) ) b= ( c* 4 + 8 ) ;
}
int m = ( int ) b;
}
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCVNjYW5uZXIgb2k9bmV3IFNjYW5uZXIoU3lzdGVtLmluKTsKICAgICAgICBkb3VibGUgYSA9IG9pLm5leHRJbnQoKTsKICAgICAgICBTdHJpbmcgayA9IG9pLm5leHQoKTsKICAgICAgICBkb3VibGUgYiA9IDA7CiAgICAgICAgZG91YmxlIGMgPSAwOwogICAgICAgIGlmKGE8PTEwMDApIHsKICAgICAgICAgICAgaWYoInkiLmVxdWFscyhrKSliPTgrNTsKICAgICAgICAgICAgaWYoIm4iLmVxdWFscyhrKSliPTg7CiAgICAgICAgfQogICAgICAgIGVsc2UgewogICAgICAgICAgICBpZigoYS0xMDAwKSU1MDA+MCkgYz0oYSsoNTAwLShhLTEwMDApJTUwMCktMTAwMCkvNTAwOwogICAgICAgICAgICBpZigieSIuZXF1YWxzKGspKSBiPShjKjQrOCs1KTsKICAgICAgICAgICAgaWYoIm4iLmVxdWFscyhrKSkgYj0oYyo0KzgpOwogICAgICAgIH0KICAgICAgICBpbnQgbSA9IChpbnQpIGI7CiAgICAgICAgU3lzdGVtLm91dC5wcmludChtKTsKCX0KfQ==