// JavaScript Document
function $(x){return document.getElementById(x)}
function $$(x){return document.getElementsByName(x)}
function show_hide(i)
{
	var len=$("left_nav").getElementsByTagName("ul").length;
	for (var n=1;n<=len;n++)
	{
		if(n==i)
		{
			$("sub"+i).style.display="block";
		}
		else
		{
			$("sub"+n).style.display="none";
		}
	}
}