let get_protocol_ () = urldecode_string ((get_location ()) >>> JSOO.get "protocol" >>> JSOO.as_string)