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