var oldDiv = null ;
var oldLink= null ;
var oldNum = 0 ;

function HidePrevious()		
{
	if (oldDiv == null)
		oldDiv = document.getElementById("div0") ;
		
	if (oldDiv != null)
		oldDiv.style.display="none" ;

	if (oldLink != null)
		oldLink.className = "" ;
}

function SelectDiv(num)
{
	if(num == oldNum) return ;
	
	oldNum = num ;
	
	HidePrevious() ;
	
	oldLink = document.getElementById("link"+num) ;
	oldDiv  = document.getElementById("div" +num) ;
	
	if (oldDiv != null)
		oldDiv.style.display = "" ;

	if (oldLink != null)
		oldLink.className = "current" ;
}