Event.observe(window, 'load', function() {
    // pulse
    new Effect.Pulsate( 'rest', {duration:5, from:0.2} );
    new Effect.Pulsate( 'verkauft', {duration:5, from:0.2} );
    window.setInterval("new Effect.Pulsate( 'rest', {duration:5, from:0.2} );new Effect.Pulsate( 'verkauft', {duration:5, from:0.2} );",5000);

   // timer
   window.setInterval("timer()",1000);
});

function timer()
{
    var start = new Date();
    var ende = new Date(1.26826194E+12);

    var diff = ende.getTime()-start.getTime();

    var stunden = Math.floor(diff/3600000);
    var minuten = Math.ceil((diff%3600000)/60000);
    var sekunden = Math.ceil(((diff%3600000)%60000)/1000);

    if (stunden < 0 || minuten < 0 || sekunden < 0) {
        $('time_counter').innerHTML = '00:00:00';
    } else {
        $('time_counter').innerHTML = fixLength(stunden) + ':' + fixLength(minuten) + ':' + fixLength(sekunden);
    }
}

function fixLength(number)
{
    var myString = String(number);
    if (myString.length==1)
        myString = '0' + myString;
    return myString;
}