function handleChange( event )
{
    var select_box= getEventTarget( event );
    document.location.href= select_box.options[ select_box.selectedIndex ].value;
}


function createSelectbox()
{
    try
    {
        addPortableEventListener( 
            document.getElementById( "additionalProductVersionBox" ) , 
            "change", 
            handleChange 
            );
            
        document.getElementById( "additionalVersionsJS" ).style.display= "inline";
        document.getElementById( "additionalVersionsNoJS" ).style.display= "none";
    }
    catch( e )
    {
        // simply - no versions
    }
}

runOnLoad( createSelectbox );