function showMenu()
{
	document.getElementById('pestmenu').style.display = 'inline';
}

function hideMenu()
{
	document.getElementById('pestmenu').style.display = 'none';
}