awk '$0=$1>14?"-1":$1-7'