// JavaScript Document
function tidepooler_show()
{
	document.getElementById('tidepooler').style.visibility = 'visible';
}
function tidepooler_hide()
{
	document.getElementById('tidepooler').style.visibility = 'hidden';
}