// JavaScript Document
function show(menu)
{
	if(document.getElementById)
	{
		document.getElementById(menu).className='show';
	}
	else if(document.all)
	{
		document.all.menu.className='show';
	}
}
function hide(menu)
{
	if(document.getElementById)
	{
		document.getElementById(menu).className='hide';
	}
	else if(document.all)
	{
		document.all.menu.className='hide';
	}
}