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