function ddredir(ddbox)
{
    destination = ddbox.options[ddbox.selectedIndex].value;
    if (destination) location.href = destination;
}