//
  //  demo countdown 
  //
  
  // initialize at start
  window.onload = init;
  
  function init() 
    { if (document.getElementById("democounter_bg"))
       startclock()
    }
  
  var timerID = null;
  var timerRunning = false;
  
  // version of browser not important
  agent = navigator.userAgent
  BrowserVersion = 0
  
  // initialize image-objects with appropriate .gif-images
  digit_0 = new Image(14,17); digit_0.src = "images/0.gif";
  digit_1 = new Image(14,17); digit_1.src = "images/1.gif";
  digit_2 = new Image(14,17); digit_2.src = "images/2.gif";
  digit_3 = new Image(14,17); digit_3.src = "images/3.gif";
  digit_4 = new Image(14,17); digit_4.src = "images/4.gif";
  digit_5 = new Image(14,17); digit_5.src = "images/5.gif";
  digit_6 = new Image(14,17); digit_6.src = "images/6.gif";
  digit_7 = new Image(14,17); digit_7.src = "images/7.gif";
  digit_8 = new Image(14,17); digit_8.src = "images/8.gif";
  digit_9 = new Image(14,17); digit_9.src = "images/9.gif";
  digit_10 = new Image(14,17); digit_10.src = "images/spacer.gif";
  
  
  // start clock
  function startclock () 
    {
     stopclock();
     setdigits ();
    }
  
  // stop clock
  function stopclock ()
    {
     if(timerRunning)
       clearTimeout(timerID);
     timerRunning = false;
    }
  
  // set digits
  function setdigits () 
    {
     var moz4cor = 0;
     var nav4cor = 0;
     var iecor = 0;
     var agt = navigator.userAgent.toLowerCase();
     this.major = parseInt(navigator.appVersion);
  
     if (agt.indexOf("mozilla")!=-1)
       nav4cor = 1;
  
     if (agt.indexOf('msie')!=-1)
       iecor = 1;
  
     if (nav4cor == 1 && iecor != 1 && this.major < 5) moz4cor = 86400000;
  
  
    // calculate date digits
    var today = new Date();
    //                      (year, month-1, day, hour, min, sec)
    var demodate = new Date(2009, 8, 5, 13, 0, 0);
    var diff = Math.floor((demodate.getTime()-today.getTime())/1000);
    var rest = diff;
    
    var day10 = Math.floor(rest/(60*60*24*10));
     rest = rest - day10 * 60*60*24*10;
     
    var day1 = Math.floor(rest/(60*60*24));
     rest = rest - day1 * 60*60*24;
     
    var hour10 = Math.floor(rest/(60*60*10));
     rest = rest - hour10 * 60*60*10;
     
    var hour1 = Math.floor(rest/(60*60));
     rest = rest - hour1 * 60*60;
     
    var min10 =  Math.floor(rest/(60*10));
     rest = rest - min10 * 60*10;
     
    var min1 =  Math.floor(rest/60);
     rest = rest - min1 * 60;
     
    var sec10 = Math.floor(rest/10);
     rest = rest-sec10*10;
     
    var sec1 = rest;
  
    // change source of images in image-objects
    document.images['day10'].src = eval("digit_" + day10 + ".src");
    document.images['day1'].src = eval("digit_" + day1 + ".src");
    document.images['dcol'].src = "images/colon.gif";
    
    document.images['hour10'].src = eval("digit_" + hour10 + ".src");
    document.images['hour1'].src = eval("digit_" + hour1 + ".src");
    document.images['hcol'].src = "images/colon.gif";
  
    document.images['min10'].src = eval("digit_" + min10 + ".src");
    document.images['min1'].src = eval("digit_" + min1 + ".src");
    document.images['mcol'].src = "images/colon.gif";
  
    document.images['sec10'].src = eval("digit_" + sec10 + ".src")
    document.images['sec1'].src = eval("digit_" + sec1 + ".src");
  
    timerID = setTimeout("setdigits()",1000);
    timerRunning = true;
    return;
  }