awk -M '$0=2*(int($1/5)+int($1/3))'