//Example
/*
<select name="company_select" onChange="go()">
<option value=''>--- Select your destination ---
<option value="js.html">General Introduction
<option value="placejs.html">Placing JavaScripts
<option value="links.html">JavaScript Links
</select>
*/
var company_id = FORM_DATA ["company_id"];
box = document.forms[0].company_select;
for (i = 0; i < box.options.length; i++) {
    if (box.options[i].value == company_id) { 
        box.options[i].selected = true;
    }
}

function go()
{
	box = document.forms[0].company_select;
	company = box.options[box.selectedIndex].value;
	if (company) window.location.href = "/fluxx_content.php?page=FLUXX_Presse_Spiegel.html" + '&company_id=' + company;
}