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