let reg_jkevent = Str.regexp "broadcast: print \"\\(.*\\)\\\\n\""