function randombg() {

	var i =  rand(9);

	document.body.style.backgroundImage = 'url("/gfx/bg/' + i + '.gif")';

}

function rand ( n )
{
  return ( Math.floor ( Math.random ( ) * n + 1 ) );
}