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


function createSelectbox()
{
    if( document.getElementById( "additionalProductVersionBox" ) )
    {
        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 );