 new URL(url_string);
        var width = url.searchParams.get("width");
        var height = url.searchParams.get("height");
        var maxbuffer = url.searchParams.get("maxbuffer");
        var lowprec = url.searchParams.get("lowprec");
        var intbuffer = url.searchParams.get("intbuffer");
        var tabletmode = url.searchParams.get("tabletmode");
        var glowOFF = url.searchParams.get("glowOFF");
        var lightGUI = url.searchParams.get("lightGUI");
        var Attractor = url.sea