// swap banner images on mouse over.
// abandoned for now...


//	problem with buttons "sticking" instead of clearing on mouseout, only in mozilla.
//	could clear on mouseover...but that's a maybe solution.






function banner_ab()
	{
	if ( document.all )
		{
		document.getElementById( "banner" ).innerHTML = "<img src=\"/graphics/banner_ab.png\" alt=\"\" />";
		}
	}

function banner_se()
	{
	if ( document.all )
		{
		document.getElementById( "banner" ).innerHTML = "<img src=\"/graphics/banner_se.png\" alt=\"\" />";
		}
	}

function banner_pr()
	{
	if ( document.all )
		{
		document.getElementById( "banner" ).innerHTML = "<img src=\"/graphics/banner_pr.png\" alt=\"\" />";
		}
	}
	
function banner_ca()
	{
	if ( document.all )
		{
		document.getElementById( "banner" ).innerHTML = "<img src=\"/graphics/banner_ca.png\" alt=\"\" />";
		}
	}

function banner_pa()
	{
	if ( document.all )
		{
		document.getElementById( "banner" ).innerHTML = "<img src=\"/graphics/banner_pa.png\" alt=\"\" />";
		}
	}

function banner_co()
	{
	if ( document.all )
		{
		document.getElementById( "banner" ).innerHTML = "<img src=\"/graphics/banner_co.png\" alt=\"\" />";
		}
	}

function banner_clear()
	{
	if ( document.all )
		{
		document.getElementById( "banner" ).innerHTML = "";
		}
	}