// Return the name of the current html file without the extension
function getHTMLName()
{		
	var urlPage=document.location;
	var urlString = String(urlPage);
	urlString=urlString.split("/");
	urlString=urlString.pop();
	urlString=urlString.split(".");	
	urlString.pop();
	return urlString;			
}

function popHistory()
{
	var newwindow=window.open('/html/ourHistory.html','name','height=650,width=550,resizable=yes,scrollbars=yes');
	if (window.focus) {newwindow.focus()}
}