function getHTTPObject() {
	try {
		req = new XMLHttpRequest();
	} catch (err1) {
		try {
			req = new ActiveXObject("Msxml12.XMLHTTP");
		} catch (err2) {
			try {
				req = new ActiveXObject("Microsoft.XMLHTTP");
			} catch (err3) {
				req = false;
			}
		}
	}
	return req;
}
function atras(){
	window.history.back(-1);
}
function write_mail(x, y){
	var se = '<a href="mailto:'+ x + '@' + y +'">' + x + '@' + y + '</a>';
	document.getElementById("smail").innerHTML = se;
}