function get(x) {
return document.getElementById(x);
}

function rand(x) {
return Math.floor(x*Math.random());
}

var varno = new XMLHttpRequest();

varno.onreadystatechange = function() {
if (varno.readyState == 4 && varno.status == 200)
done();
}

function post(url, remin) {
varno.open("POST", url, true);
varno.setRequestHeader("Content-type", "application/x-www-form-urlencoded");
varno.setRequestHeader("Content-length", remin.length);
varno.setRequestHeader("Connection", "close");
varno.send(remin);
}