while () { return %header if /^\037/ or eof( INFO ); last if /^(\* Menu:)/; }