// Deserializes a list serialized with serialize_string_list. function deserialize_string_list(s) { var fields = s.split("|") var i; for (i=0; i