<!-- begin Hide
function randomFunc()
{
var myPix = new Array("/_images/INT/int_pic01.jpg","/_images/INT/int_pic02.jpg","/_images/INT/int_pic03.jpg","/_images/INT/int_pic04.jpg","/_images/INT/int_pic05.jpg","/_images/INT/int_pic06.jpg","/_images/INT/int_pic07.jpg","/_images/INT/int_pic08.jpg","/_images/INT/int_pic09.jpg","/_images/INT/int_pic10.jpg","/_images/INT/int_pic11.jpg","/_images/INT/int_pic12.jpg","/_images/INT/int_pic13.jpg","/_images/INT/int_pic14.jpg","/_images/INT/int_pic15.jpg","/_images/INT/int_pic16.jpg","/_images/INT/int_pic17.jpg","/_images/INT/int_pic18.jpg","/_images/INT/int_pic19.jpg","/_images/INT/int_pic20.jpg","/_images/INT/int_pic21.jpg");
var imgCt = myPix.length;

	if (document.images)
	{
		randomNum = Math.floor((Math.random() * imgCt));
		document.thePicture2.src = myPix[randomNum];
		myPix.splice(randomNum,1);
		imgCt2 = myPix.length;
		randomNum2 = Math.floor((Math.random() * imgCt2));
		document.thePicture3.src = myPix[randomNum2];
	}
}
// end Hide -->