function showText(myText)
{
	document.getElementById("info_box").innerHTML = myText;
}