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