#!/usr/bin/awk -f
{ print $1 ":" ($2 <= 10000 ? 1 : $2-10000) "-" $3+10000 }