var menuHiding = null
 	
function ShowBarMenu(menu)
{
	
	clearTimeout(menuHiding);
				
	var menuObject = document.getElementById(menu);
	if (menuObject)
		menuObject.style.visibility = "visible";

}

function HideBarMenu(menu)
{
	var menuObject = document.getElementById(menu);
	
	if (menuObject)
	{
		menuObject.style.visibility = "hidden";
	}

}


function removeHTMLTags(){
 	if(document.getElementById && document.getElementById("input-code")){
 		var strInputCode = document.getElementById("input-code").innerHTML;
 		/* 
  			This line is optional, it replaces escaped brackets with real ones, 
  			i.e. < is replaced with < and > is replaced with >
 		*/	
 	 	strInputCode = strInputCode.replace(/&(lt|gt);/g, function (strMatch, p1){
 		 	return (p1 == "lt")? "<" : ">";
 		});
 		var strTagStrippedText = strInputCode.replace(/<\/?[^>]+(>|$)/g, "");
 		alert("Output text:\n" + strTagStrippedText);	
   // Use the alert below if you want to show the input and the output text
   //		alert("Input code:\n" + strInputCode + "\n\nOutput text:\n" + strTagStrippedText);	
 	}	
}