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