// JavaScript Document
function correctPNGBackground( divId, imgURL ) // correctly handle PNG transparency in Win IE 5.5 , 6 & 7.
{
	var arVersion = navigator.appVersion.split("MSIE")
	var version = parseFloat(arVersion[1])
	if ((version >= 5.5) && (version < 7) && (document.body.filters)) 
	{
		var div = document.getElementById( divId );
		div.style.filter = "progid:DXImageTransform.Microsoft.AlphaImageLoader(src='"+imgURL+"', sizingMethod='image')";
		div.style.background = '';
	}    
}
function doMenu( id ) {
	// if the menu is currently displayed
	if( document.getElementById( 'menu_' + id ).style.display == '' ) {
		// hide it and set the arrow to point right
		document.getElementById( 'menu_' + id ).style.display = 'none';
		document.getElementById( 'nav_' + id ).innerHTML = '&gt;';
	} else {
		// show it and point the arrow south
		document.getElementById( 'menu_' + id ).style.display = '';
		document.getElementById( 'nav_' + id ).innerHTML = 'v';
	}
}