var selector = document.getElementById("wpLicense"); if (selector.selectedIndex > 0 && selector.options[selector.selectedIndex].value == "" ) {  selector.selectedIndex = 0; 
var selector = document.getElementById( "wpLicense" ); var selection = selector.options[selector.selectedIndex].value; if( selector.selectedIndex > 0 ) { if( selection == "" ) {  selector.selectedIndex = 0; } 
function licenseSelectorCheck() {	var selector = document.getElementById("wpLicense");	if (selector.selectedIndex > 0 &&		selector.options[selector.selectedIndex].value == "" ) {		// Browser is broken, doesn't respect disabled attribute on <option>		selector.selectedIndex = 0;	}}
9612	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9612/8f416baead93a48e5799e44b8bd2e2c4859f4e04/upload.js/buggy/skins/common/upload.js