var picmax = 20;
var random = Math.random() ;
var picnum1 = Math.round(random*picmax)+1;

do
{
	random = Math.random() ;
	picnum2 = Math.round(random*picmax)+1;
} while (picnum2 == picnum1);

do
{
	random = Math.random() ;
	picnum3 = Math.round(random*picmax)+1;
} while (picnum3 == picnum1 || picnum3 == picnum2);

function displaypic(x) 
{ 
	if (x == 1)
		return ("<img src=imagepool/"+ picnum1 +".jpg alt='Picture 1' title='Picture 1'>");
	else if (x == 2)
		return ("<img src=imagepool/"+ picnum2 +".jpg alt='Picture 2' title='Picture 2'>");
	else if (x == 3)
		return ("<img src=imagepool/"+ picnum3 +".jpg alt='Picture 3' title='Picture 3'>");
	else		
		return ("<img src='' alt='Picture' title='Picture'>");
}