// Do not add function to this file
// These JS functions are used in the scripts

function menu_goto( menuform )
{
    var baseurl = "" ;
    selecteditem = menuform.newurl.selectedIndex ;
    newurl = menuform.newurl.options[ selecteditem ].value ;
    if (newurl.length != 0) {
      location.href = baseurl + newurl ;
    }
}