<!--
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 Jerry Becker Painting",
    							"Cactus Closeup",
    							"Old Timer",
    							"Old Shed",
                                "Evening Mood",
                                "Afternoon Sky",
                                "Loading Dock",
                                "Lone Adobe",
                                "Hillside Saguaros");

    var url = new makeArray("",
                            "becker1.html",
                            "becker2.html",
                            "becker4.html",
                            "becker5.html",
                            "becker9.html",
                            "becker10.html",
                            "becker11.html",
                            "becker12.html");
//-->