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