rem: var select			= d.getElementById(select_id); 
add: var select			= FA.getObj(select_id); 
context: function jump_to(select_id) {	var select			= d.getElementById(select_id);	if(select) {		if(select.selectedIndex) {			if(select[select.selectedIndex].value != '-1') {				document.location = select[select.selectedIndex].value;			} else {				return;			}		}	}}
meta: 8193	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8193/d55368118dec4a8f237e8e432dd97304d21083d6/javascript.js/clean/trunk/upload/js/javascript.js