function ShowHandCursor()
{
	document.body.style.cursor='hand';
}

function ShowDefaultCursor()
{
	document.body.style.cursor='default';
}

function simpleShowHideMenu(menuName)
{
	var menuClicked;
	menuClicked = document.getElementById(menuName);
	// make menu visible
	if(menuClicked.style.visibility == 'hidden')
	{
		menuClicked.style.display='block';
		menuClicked.style.visibility = 'visible';
	}
	else // hide menu
	{
		menuClicked.style.display='none';
		menuClicked.style.visibility = 'hidden';		
	}
}
// return whether or not a zip code is valid.
function isValidZipCode(zipStr)
{
	var regexp = /^\d\d\d\d\d$/; // match 5 digits
	return regexp.test(zipStr);
}