var micro1,micro2,micro3,micro4,micro5,micro6;
var ns = (document.layers)? true:false;
var ie = (document.all)? true:false;
var PfadPrefix="http://www.eggers.de/";
//if (ie) var PfadPrefix='./';//gleicht Browserunterschiede bei relativer Pfadangabe aus
//if (ie && navigator.userAgent.indexOf("Mac") != -1) var PfadPrefix ='../';
//if (ns) var PfadPrefix='../';
//micro1 = new Image(33,17)
//micro1.src = "micro_blank.gif"
//micro2 = new Image(33,17)
//micro2.src = "micro_blank.gif"
//micro3 = new Image(33,17)
//micro3.src = "micro_blank.gif"
//micro4 = new Image(33,17)
//micro4.src = "micro_blank.gif"
//micro5 = new Image(33,17)
//micro5.src = "micro_blank.gif"
//micro6 = new Image(33,17)
//micro6.src = "micro_blank.gif"
function opWin (name,file,xSize,ySize)
{
if (arguments.length == 5) {
if (arguments[4] == 'no') var stringWin = 'resizable=no,location=no,directories=no,status=no,menubar=no,scrollbars=no,toolbar=no,'
else var stringWin = 'resizable=yes,location=no,directories=no,status=yes,menubar=yes,scrollbars=yes,toolbar=yes,'
}
else var stringWin = 'resizable=yes,location=yes,directories=yes,status=yes,menubar=yes,scrollbars=yes,toolbar=yes,'
var name = window.open(file,'',stringWin+'width='+xSize+',height='+ySize);
name.focus()
}
function closeWin(name)
{
if (name) name = window.close()
else self.blur();
}
function MicroNavOver(img,Nr)
{
document[img].src = "http://www.eggers.de/standards/micro_"+Nr+".gif";
}
function MicroNavOut(img)
{
document[img].src = "http://www.eggers.de/standards/micro_blank.gif";
}
function chgNavImg(RubNr)
{
if (PfadPrefix==false) PfadPrefix="http://www.eggers.de/";
top.nav.document.oben.src =PfadPrefix+"nav/imgoben"+RubNr+".jpg";
checkNavURL = top.nav.document.location.href;
pPos = checkNavURL.lastIndexOf(".htm");
NavType = checkNavURL.substring(pPos-1,pPos); //checken, ob nav.htm oder nav1.htm
if(NavType == '1') top.nav.document.unten.src =PfadPrefix+"nav/imgunten"+RubNr+".jpg"
}
function showZoom (bilddatei) {
document.write('Hotel Eggers in Hamburg-Rahlstedt');
document.write('');
document.write('');
document.close();
}
