>>708
どうせならシェルでやれ。内部コマンドだけがいいぞ。

#!/bin/sh
f=0
while IFS= read line
do
case $line in *' 13:'??' '*) f=1;; 0*) f=0;; esac
case $f in 1) echo "$line";; esac
done