{
open Lexing 
}
let space = [' ' '\t' '\n']+
rule replace = parse
  |  "Lecture" space "Notes" space "in" space "Computer" space "Science"
  { print_string "LNCS"; replace lexbuf }
  | _ as c { print_char c; replace lexbuf }
  | eof { () }
{
  let lb = from_channel stdin
  let () = replace lb
}