// to be used for printable map drop down menus

function LinkUp() 
{
var number = document.DropDown.DDlinks.selectedIndex;
location.href = document.DropDown.DDlinks.options[number].value;
}
function LinkUp1() 
{
var number1 = document.DropDown1.DDlinks1.selectedIndex;
location.href = document.DropDown1.DDlinks1.options[number1].value;
}
function LinkUp2() 
{
var number2 = document.DropDown2.DDlinks2.selectedIndex;
location.href = document.DropDown2.DDlinks2.options[number2].value;
}
function LinkUp3() 
{
var number3 = document.DropDown3.DDlinks3.selectedIndex;
location.href = document.DropDown3.DDlinks3.options[number3].value;
}
function LinkUp4() 
{
var number4 = document.DropDown4.DDlinks4.selectedIndex;
location.href = document.DropDown4.DDlinks4.options[number4].value;
}