<!--
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 Hank Richter Painting",
                                "Early Morning Start",
								"Foggy Morn",
								"Tree Tied",
								"Counting His Money"
								);

    var url = new makeArray("",
                            "richter32.html",
                            "richter33.html",
                            "richter29.html",
                            "richter30.html"
                            );
//-->