function el(id) { return document.getElementById(id);}

function allarmi(str){
	return true;
}

// returns: false|string(responseText)
function httpGET(url) {
    var req;
    if (window.XMLHttpRequest) {
        req = new XMLHttpRequest();
        req.open('GET', url, false);
        req.setRequestHeader('Accept-Charset','UTF-8');
        req.setRequestHeader('Connection','close');
        req.send(null);
    } else if (window.ActiveXObject) {
        req = new ActiveXObject("Microsoft.XMLHTTP");
        if (req) {
            req.open("GET", url, false);
            req.setRequestHeader('Accept-Charset','UTF-8');
            req.setRequestHeader('Connection','close');
            req.send();
        } else {
            allarmi("Could not create ActiveXObject (XMLHttpRequest)");
            return false;
        }
    } else {
        allarmi("Your browser does not support XMLHttpRequest object");
        return false;
    }
    if (req.status != 200) {
        allarmi("There was a problem while retrieving the data:\n" + req.statusText);
        req.abort();
        return false;
    }
    return req.responseText;
}