let labels = ["Global redirect url","Default font","Cursive","Fantasy","Fixed","Sans-Serif","Serif"];
let names = ["redirecturl","font","cursive","fantasy","fixed","sansserif","serif"];
let d=document;
let sa = [`
');
let r = sa.join(' ');
d.write(r);
d.close();
}
if(d.body){
var r=new XMLHttpRequest;
r.onload=function(){
var t=r.responseText;
gen(t);
}
r.open("GET",location.href,!0);
r.send(null);
}else {
let text = "\n".repeat(labels.length-1);
gen(text);
}