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