function set_color(div)
{
	div.className = "timg_png2";	
};

function back_color(div)
{	
	div.className = "timg_png";	
};

function set_image() {
	document.getElementById("top_image").style.background = "url('./images/headers/" + rand(14,29) +  ".jpg')";
}

function rand( min, max ) {
    if( max ) {
        return Math.floor(Math.random() * (max - min + 1)) + min;
    } else {
        return Math.floor(Math.random() * (min + 1));
    }
}