// JavaScript Document

function optionSpecs( p_index, p_ID, p_menuItem ) {
  this.index = ( p_index <= 9 )
                 ? ( "0" + p_index )
                 : p_index;
  this.ID = p_ID;
  this.menuItem = p_menuItem;
}

var menuOptions = new Array();
var nextOption = -1;
menuOptions[++nextOption] = new optionSpecs( String(nextOption+1), "index", "Home" );
menuOptions[++nextOption] = new optionSpecs( String(nextOption+1), "calendar", "Calendar" );
menuOptions[++nextOption] = new optionSpecs( String(nextOption+1), "teaching", "Teaching" );
menuOptions[++nextOption] = new optionSpecs( String(nextOption+1), "biography", "Biography" );
menuOptions[++nextOption] = new optionSpecs( String(nextOption+1), "gallery", "Gallery" );
menuOptions[++nextOption] = new optionSpecs( String(nextOption+1), "pressphotos", "Press&nbsp;Photos" );
menuOptions[++nextOption] = new optionSpecs( String(nextOption+1), "contact-mcintosh-mcgovern", "Contact" );
