function infoBoxShow(text)
{
	document.getElementById('infoBoxText').innerHTML = text;
	document.getElementById('infoBox').style.visibility = 'visible';
}

function infoBoxHide()
{
	document.getElementById('infoBoxText').innerHTML = '';
	document.getElementById('infoBox').style.visibility = 'hidden';
}