n=input() print n/15*16+[0,0,0,2,0,2,2,0,0,2,2,0,2,0,0,4][n%15]