>>896
sed使うのが良いんだろうけど、覚束ないのでAWKでやってみた。
たぶんこれでいけるはず。

$ cat hello.bas
10 PRINT "HELLO"
20 END

$ awk '/^[0-9]+/sub("[0-9]+ ", "")'　< hello.bas
PRINT "HELLO"
END