let get_name_in_session (name : string) (id : int) : string = "("^name^", "^(string_of_int id)^")"