//
//
// script for displaying random images upon each page load or refressh
// dj@swicked.net
//

function rand_number(n)
{
	var x;
	x=Math.round(Math.random()*100);
	x%=n;
	return x;
}
function rand_image()
{
	var img = new Array();
	// img[1]='<img src="pool/board.gif" align="left" border="0">';
	img[0]='<img src="pool/1.jpg" height="370px" width="350px">';
	img[1]='<img src="pool/2.jpg" height="370px" width="350px">';
	img[2]='<img src="pool/3.jpg" height="370px" width="350px">';
	img[3]='<img src="pool/4.jpg" height="370px" width="350px">';
	img[4]='<img src="pool/5.jpg" height="370px" width="350px">';
	img[5]='<img src="pool/6.jpg" height="370px" width="350px">';
	img[6]='<img src="pool/7.jpg" height="370px" width="350px">';

	var n=rand_number(7); 
	document.write(img[n]);
}