window.onError = error_report;

function error_report() {
    window.status = "JavaScript error!";
    return true;
}

function noSpam(user,domain) {
	locationString = "mailto:" + user + "@" + domain;
	window.location = locationString;
}

function getFocus() {
	window.focus();
}

function returnObjById(id) {
	if (document.getElementById)
		var returnVar = document.getElementById(id);
	else if (document.all)
		var returnVar = document.all[id];
	else if (document.layers)
		var returnVar = document.layers[id];
	return returnVar;
}