function openDir(jump) { 
	var newIndex = jump.filter.selectedIndex; 
	cururl = jump.filter.options[ newIndex ].value; 
	window.location.assign( "?filter="+cururl ); 
}