/*
document.layers  	The surfer is using NS 4
document.all 	The surfer is using IE 4+
window.opera 	The surfer is using Opera of some version
document.getElementById 	The surfer is using IE5+ OR NS6+/ Firefox
document.getElementById &&
!document.all 	The surfer is using NS6+ or Firefox
*/
var supGetElm = document.getElementById;
var supDocAll = document.all;

function jumpLocation(targ,selObj,restore,sid)
{ 
	if (selObj.options[selObj.selectedIndex].value != "#")
	{
	eval(targ+".location='/hamburg/location/"+selObj.options[selObj.selectedIndex].value+".html" + (sid=='[--sid--]'?'':"?sid="+sid) + "'");
	if (restore) selObj.selectedIndex=0;
	}
}
