use bigint;print+($n=<>)/3*2+$n/5*2