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