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