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