// JavaScript Document
function show1(x)
	{
	document.getElementById(x).style.visibility="visible";
	}
function hide1(y)
	{
	document.getElementById(y).style.visibility="hidden";
	}