// JavaScript Document

/* menu
============================================================================= */
var currentShownDivID = null;
function showDiv(id) 
{
	if(currentShownDivID == id)
	{
		return;
	}
	
	if(currentShownDivID != null) 
	{
		var oldElement = document.getElementById(currentShownDivID);
		oldElement.style.display = "none";
	}
	currentShownDivID = id;
	
    newElement = document.getElementById(id);
	newElement.style.display = 'block';
	
	return;
}