/#/, /\$finish/ { if ( $1 == "$finish" ) exit; else print; }