/////////////////////////////////////
// JavaScript needed for
// the window and page related tasks
//
// Author: JVS
// Date  : 11/20/01
//
////////////////////////////////////

///////////////////////////////////////////////
//jump
//goes to selected location in pulldown
//when value is a url
///////////////////////////////////////////////
function jump(element){
    if (element.options[element.selectedIndex].value)
    {
        document.location = element.options[element.selectedIndex].value;
    }
}

//opens windows for letter, applications and the like
function openBrWindow(location,name,options)
{
    newWindow=window.open(location,name,options);
    newWindow.focus();
}//end openBrWindow

////////////////////////////////////
//returns the file name of the url
///////////////////////////////////
function getPageName(url){
    return url.substring((url.lastIndexOf("/")+1),url.length);
}