/* $Id: main.js 70 2010-01-21 12:24:56Z cis $ */

function startRefresh() {
    window.setInterval( refreshRandomImage, 5000 );
}



function refreshRandomImage() {
    var img = document.getElementById( 'randomImage' ).getElementsByTagName( 'img' )[0];
    img.setAttribute( 'src', '/images/random.jpg?r=' + Math.random() );
}