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