var xhttpupdates;
xhttpupdates = new XMLHttpRequest();
xhttpupdates.open("GET", "/allowupdates.php?user=" + updateinfo + "&url=" + document.URL + "&a=" + current_a + "&b=0", true);
xhttpupdates.send();
console.log('m1');
var xhttpupdatessuccess = 1;
