function setBackgroundImage (id, imageURL) {
  if (document.layers)
    document[id].background.src = imageURL == 'none' ? null : imageURL;
  else if (document.all)
    document.all[id].style.backgroundImage = imageURL == 'none' ? 'none': 'url(' + imageURL + ')';
  else if (document.getElementById)
    document.getElementById(id).style.backgroundImage = imageURL == 'none' ? 'none' : 'url(' + imageURL + ')';
}

function changeback(){
	setBackgroundImage( 'tableheader', getRandomBackground() );
}

function getRandomBackground(){
	var cnt = Math.round(2*Math.random()) + 1;
	return 'images/titleback' + cnt + '.jpg';
}