// JavaScript Document
function gotoDirections()
{
	var loc = location.href;
	if (loc.indexOf("directions") == -1)
	{
		loc += "#directions";
	}
	window.location = loc;
}
function getDirections()
{
	var loc = location.href;
	if (loc.indexOf("directions") == -1)
	{
		loc += "#directions";
	}
	document.query.action = loc;
	return true;
}