function javascript()
{
	if (document.getElementById("Javascript") == null)
	{}
	else
	{
		document.getElementById("Javascript").style.visibility = "hidden";
	}
}