function mover(name)
{
	if (document.images) document.images[name].src=eval(name+".src")
}

function mout(name)
{
	if (document.images) document.images[name].src="images/homeoff.gif"
}

function filter(name, img)
{
	if (document.images) document.images[name].src=eval(img+".src")
}

function change(id, color)
{
	document.getElementById(id).style.color = color;
}

function errorHandler() { return true; }
window.onerror = errorHandler;