// JavaScript Document

var main_menu_short = new Array("index", "links", "printer_friendly")

var main_menu_long = new Array("Home", "Links", "Printer Friendly")