awk '$0=$1<4?$1:$1*5-12'