/* functions */

    function updateClock (showSec)
    {
        
        var maanden=new Array();
        maanden[0]="januari";
        maanden[1]="februari";
        maanden[2]="maart";
        maanden[3]="april";
        maanden[4]="mei";
        maanden[5]="juni";
        maanden[6]="juli";
        maanden[7]="augustus";
        maanden[8]="september";
        maanden[9]="oktober";
        maanden[10]="november";
        maanden[11]="december";
        
        var currentTime = new Date();
        var currentHours = currentTime.getHours();
        var currentMinutes = currentTime.getMinutes();
        if (currentMinutes < 10)currentMinutes = "0"+currentMinutes;
        var currentSeconds = currentTime.getSeconds();
        if (currentSeconds < 10)currentSeconds = "0"+currentSeconds;
        // adding date
        currentTime.setDate(currentTime.getDate()+1);
        var currentDay = currentTime.getDate();
        var currentMonth = currentTime.getMonth();
        var currentYear = currentTime.getFullYear();
        
        if (showSec){
            currentSeconds = ":"+currentSeconds;
        }
        else{
            currentSeconds = "";
        }
        
        // Update the time display
        $("#JQtijd").text(currentHours+":"+currentMinutes+currentSeconds);
        $("#JQdatum").text(currentDay+" "+maanden[currentMonth]+" "+currentYear);
        
    }
    $(document).ready(function(){
        
        //alert($.browser.msie);
        
        if ($.browser.mozilla) {
            updateClock(false);
        }
        else{
            updateClock(true);
            setInterval("updateClock(true)", 1000);
        }
        
        
        $('#right_image_fade').innerfade({ 
            animationtype: 'fade', 
            speed: 5000, 
            timeout: 5000, 
            type: 'random', 
            containerheight: '1em' 
        });
        
    });