awk '$0=$1<3?$1:($1-3)*5+3'