
var pageNameArray = new Array();
var pageLabelArray = new Array();
pageNameArray[0]  = "home";
pageLabelArray[0] = "Home Page"
pageNameArray[1]  = "about";
pageLabelArray[1] = "About the Gantry"
pageNameArray[2]  = "mission";
pageLabelArray[2] = "Mission Statement"
pageNameArray[3]  = "aims";
pageLabelArray[3] = "Aims &amp; Objectives"
pageNameArray[4]  = "history";
pageLabelArray[4] = "History of the Gantry"
pageNameArray[5]  = "currentprods";
pageLabelArray[5] = "Current Productions"
pageNameArray[6]  = "pastprods";
pageLabelArray[6] = "Past Productions"
pageNameArray[7]  = "gallery";
pageLabelArray[7] = "Gallery"
pageNameArray[8]  = "workshops";
pageLabelArray[8] = "Drama Workshops"
pageNameArray[9]  = "join";
pageLabelArray[9] = "Join the Gantry"
pageNameArray[10]  = "news";
pageLabelArray[10] = "Members News"
pageNameArray[11]  = "calendar";
pageLabelArray[11] = "Events calendar"
	
   	 
// Construct a menu entry   
function makeTableRow(pageName,label)
{ 
  // Declare some constants
  var CURRENT_PAGE_CELL       = '<tr><td class="tdLeftNavCurrentPage">';
  var CURRENT_PAGE_CELL_CLOSE = '</td></tr>\n';
  var LINK_PAGE_CELL          = '<tr><td class="tdLeftNavLinkPage"><a href="';  
  var LINK_PAGE_CELL_CLOSE    = '</a></td></tr>\n';  
  
  if (pageName==currentPageName() )
  {
    // Current page
    return CURRENT_PAGE_CELL + "&nbsp;&bull;&nbsp;" + label + CURRENT_PAGE_CELL_CLOSE;
  }
  else
  {
    // Display a link
    return LINK_PAGE_CELL + pageName + '">' + label + LINK_PAGE_CELL_CLOSE;
  }
}
						 
// Extract the page name from the URL
function currentPageName()
{	
  var pathElementArray = new Array();
  pathElementArray = document.URL.split("\\");
  // Did we use the right split character?
  if (pathElementArray.length < 2)
  {
    pathElementArray = document.URL.split("/");
  }
  return pathElementArray[pathElementArray.length-1];
}
																	 


// Write out the menu as table rows
for (i=0;i<pageNameArray.length;i=i+1) 
{
  document.write(makeTableRow(pageNameArray[i] + ".html", pageLabelArray[i] ));
} 