<!--
function openDir() { 
	var selected = $('goto').getSelected();
	window.location.assign(selected[0].value); 
}
//-->