let reg_jkservinit = Str.regexp "Server: \\(.*\\)"