function vai(URL)

{
	document.location.href = URL
}

function mouseover (obj)

{
	obj.style.cursor = 'hand';
	obj.style.color = 'red';	
}

function mouseout (obj)

{
	obj.style.color = 'black';	
}

function mouseoutmenu (obj)

{
	obj.style.color = 'white';	
}

function openurl(URL)

{
	document.location.href = URL
}

function eventfilter()
{
    if ((window.event.srcElement.tagName == "INPUT") && (window.event.keyCode == 13))
	{
	if (window.event.srcElement.type == "text")	
		{
		window.event.returnValue = false;  
		}
	}
}