let
get_path_ () =
urldecode_string ((get_location ()) >>>
JSOO
.get
"pathname"
>>>
JSOO
.as_string)