let
redirect_get url =
JSOO
.set
"location"
(
JSOO
.string url) window