<!--
function goPage(form) {
    i = form.menu.selectedIndex;
    if (i != 0) {
    window.location.href = url[i];
    }
 }
 function makeArray()   {
    var args = makeArray.arguments ;
    for (var i = 0; i < args.length; i++)  {
    this[i] = args[i] ;
    }
    this.length = args.length;
  }
    
    var pages = new makeArray("Select a Holt Murray Sculpture",
                                "Aeronautical Study III",
								"Spare Part I",
								"Spare Part 3",
								"Small Water Mammal",
								"Hardware Study #8",
								"Hardware Study #11");

    var url = new makeArray("",
                            "Holt1.html",
                            "Holt2.html",
                            "Holt3.html",
                            "Holt4.html",
                            "Holt5.html",
                            "Holt6.html");
//-->