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