// JavaScript Document

// Allows us to change the picture with a rollover effect
function change_pic(id, source) 
{
			document[id].src = source;
}

function change_nav(id, sens) 
{
	if(sens == 0)
	{
			document.getElementById(id).style.visibility="hidden";
			document.getElementById(id+'_h').style.visibility="visible";
	}
	else
	{
			document.getElementById(id).style.visibility="visible";
			document.getElementById(id+'_h').style.visibility="hidden";
	}
}