github.com/benhoyt/goawk@v1.8.1/testdata/gawk/numsubstr.awk

{ print substr(1000+$1, 2) }