function showStage (stage)
{
	if( !document.getElementById )   // if DOM is not supported,
		return ;   // return 

	var which = document.getElementById(stage);
	var num = stage.charAt(4);
	
	
	if (which.style.display == "block")  // if the stage is already visible
			{
				// do nothing
				return ;
			}
		
		// else if the stage is not visible currently,
		else
			{	
				// first hide all stage 'boxes'
				document.getElementById('intro').style.display = "none";
				document.getElementById('step1').style.display = "none";
				document.getElementById('step2').style.display = "none";
				document.getElementById('step3').style.display = "none";
				document.getElementById('step4').style.display = "none";
				document.getElementById('step5').style.display = "none";
				document.getElementById('step6').style.display = "none";
				
				// now, make only the specifically asked stage visible
				which.style.display = "block";  
				
				
				document.getElementById('link1').style.border = "4px solid #0099CC";
				document.getElementById('link2').style.border = "4px solid #0099CC";
				document.getElementById('link3').style.border = "4px solid #0099CC";
				document.getElementById('link4').style.border = "4px solid #0099CC";
				document.getElementById('link5').style.border = "4px solid #0099CC";
				document.getElementById('link6').style.border = "4px solid #0099CC";
				
				num = "link" + num;
				document.getElementById(num).style.border = "4px solid #ff3300";
				
				return ;			
			
			}
}


function borderOver (linkName)
{
		if( !document.getElementById )   // if DOM is not supported,
			return ;   // return 
			
		else 
		{
				var which = document.getElementById(linkName);
				
				if( which.style.border == "4px solid #0099cc" )  // if blue
					which.style.border = "4px solid #ff3300";    // turn it red
			
		}
}

function borderOut (linkName)
{
		if( !document.getElementById )   // if DOM is not supported,
			return ;   // return 
			
		else 
		{
				var which = document.getElementById(linkName);
				
				if( which.style.border == "4px solid #ff3300" )  // if red
					which.style.border = "4px solid #0099cc";    // turn it blue
			
		}
}