function pviiClassNew(obj, new_style) { //v2.7 by PVII
  obj.className=new_style;
}

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}

function addbookmark(){ 
if (document.all) 
window.external.AddFavorite("http://www.hotelcheck.de","Hotelcheck.de"); 
}

// this function is need to work around 
// a bug in IE related to element attributes
function hasClass(obj) {
     var result = false;
     if (obj.getAttributeNode("class") != null) {
         result = obj.getAttributeNode("class").value;
     }
     return result;
  }   

function del_check(val)
{
 chk = window.confirm("Wollen Sie " + val +" wirklich löschen?");
 return chk;
}
  

// Netscapes Clock - Start
// this code was taken from Netscapes JavaScript documentation at
// www.netscape.com 

var timerID = null;
var timerRunning = false;
function stopclock ()
{
   if(timerRunning)
       clearTimeout(timerID);
   timerRunning = false;
}

function startclock ()
{
        stopclock();
        todoOften();
}


function showTimeA(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceA.value = timeValue;
}

function showTimeB(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue=((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceB.value = timeValue;
}
function showTimeC(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceC.value = timeValue;
}
function showTimeD(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceD.value = timeValue;
}
function showTimeE(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceE.value = timeValue;
}
function showTimeF(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceF.value = timeValue;
}
function showTimeG(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceG.value = timeValue;
}
function showTimeH(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceH.value = timeValue;
}
function showTimeI(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceI.value = timeValue;
}
function showTimeJ(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceJ.value = timeValue;
}
function showTimeK(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceK.value = timeValue;
}
function showTimeL(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceL.value = timeValue;
}
function showTimeM(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceM.value = timeValue;
}
function showTimeN(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceN.value = timeValue;
}
function showTimeO(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceO.value = timeValue;
}
function showTimeP(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceP.value = timeValue;
}
function showTimeQ(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceQ.value = timeValue;
}
function showTimeR(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceR.value = timeValue;
}
function showTimeS(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceS.value = timeValue;
}
function showTimeT(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceT.value = timeValue;
}
function showTimeU(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceU.value = timeValue;
}
function showTimeV(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceV.value = timeValue;
}
function showTimeW(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds();
        var timeValue=0;
        if (hours > 24) {hours = hours - 24;}
        timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceW.value = timeValue;
}
function showTimeX(now,addto)
{
        var hours = now.getHours()+addto;
        var minutes = now.getMinutes();
        var seconds = now.getSeconds()
        if (hours > 24) {hours = hours - 24;}
        var timeValue = ((hours < 10) ? "0" : "") + hours;
        timeValue += ((minutes < 10) ? ":0" : ":") + minutes
        timeValue += ((seconds < 10) ? ":0" : ":") + seconds
        document.clock.faceX.value = timeValue;
}



function todoOften()
{
   var now = new Date();

   showTimeO(now,14);
   showTimeP(now,15);
   showTimeQ(now,16);
   showTimeR(now,17);
   showTimeS(now,18);
   showTimeT(now,19);
   showTimeU(now,20);
   showTimeV(now,21);
   showTimeW(now,22);
   showTimeX(now,23);      
   showTimeA(now,0);
   showTimeB(now,1);
   showTimeC(now,2);
   showTimeD(now,3);
   showTimeE(now,4);
   showTimeF(now,5);
   showTimeG(now,6);
   showTimeH(now,7);
   showTimeI(now,8);
   showTimeJ(now,9);
   showTimeK(now,10);
   showTimeL(now,11);
   showTimeM(now,12);
   showTimeN(now,13);


   timerID = setTimeout("todoOften()",1000);
   timerRunning=true;
}

// Netscapes Clock - Stop


// -- End of JavaScript code -------------- -->