let get_location () = JSOO.eval "window.location"