// by Matt (SS) - contains general js functions.

// this cuts off the right side of the doc path to just get the doc name
function thisDocName()
{
  var sFull = document.location.href;
  var iLen = sFull.length;
  var iSlashLoc = sFull.lastIndexOf('/');
  return (sFull.substr(iSlashLoc + 1,iLen - iSlashLoc - 1));
}

function thisIsDoc(actualName, docName)
{
	if (docName.substring(0, actualName.length) == actualName && actualName.length > 0)
	{
		return (true);
	}
	else
	{
		return (false);
	}
}

function justPageName()
{
	var docName = thisDocName();
	return (docName.substring(0, docName.indexOf('.') ));
}