function go()
{
        box = document.forms[0].navigation;	
        destination = box.options[box.selectedIndex].value;
        if (destination) location.href = destination;
};
function go4()
{
        box = document.forms[0].navigation2;		
        destination = box.options[box.selectedIndex].value;
        if (destination) location.href = destination;
};
function go3()
{
        box = document.forms[0].navigation3;		
        destination = box.options[box.selectedIndex].value;
        if (destination) location.href = destination;
}