var thumbs = new Array(	"project_images/aim01thumb.jpg",	"project_images/aim02thumb.jpg",	"project_images/aim03thumb.jpg",	"project_images/countree01thumb.jpg",	"project_images/countree02thumb.jpg",	"project_images/leg01thumb.jpg",	"project_images/leg02thumb.jpg",	"project_images/leg03thumb.jpg",	"project_images/leg04thumb.jpg",	"project_images/levin01thumb.jpg",	"project_images/levin02thumb.jpg",	"project_images/moffett01thumb.jpg",	"project_images/moffett02thumb.jpg",	"project_images/moffett03thumb.jpg",	"project_images/ntr01thumb.jpg",	"project_images/ogates01thumb.jpg",	"project_images/ogates02thumb.jpg",	"project_images/ogates03thumb.jpg",	"project_images/pav01thumb.jpg",	"project_images/pav02thumb.jpg",	"project_images/pav03thumb.jpg",	"project_images/pm01thumb.jpg",	"project_images/pm02thumb.jpg",	"project_images/pm03thumb.jpg",	"project_images/swbt01thumb.jpg",	"project_images/swbt02thumb.jpg",	"project_images/swbt03thumb.jpg",	"project_images/tsb01thumb.jpg",	"project_images/wiltel01thumb.jpg",	"project_images/wiltel02thumb.jpg"	);function randomNum(n) {	num = Math.floor(Math.random() * (n+1));	return num;}function windowObject()	{	this.ht = function(){		if (document.body.clientHeight) return document.body.clientHeight; //IE		if (window.innerHeight) return window.innerHeight;} //Moz				this.wd = function(){		if (document.body.clientWidth) return document.body.clientWidth; //IE		if (window.innerWidth) return window.innerWidth;} //Moz	}var aniframes = new Array();var num_loaded_images = 0;for (var i=0; i < thumbs.length; i++) {	aniframes[i] = new Image();	aniframes[i].onload = countImages;	aniframes[i].src = thumbs[i];}function countImages() {	if (++num_loaded_images == aniframes.length) animate();}var frame = 0;var timeout_id = null;function animate() {	theWindow = new windowObject();	var w = theWindow.wd() - 373;	var h = theWindow.ht() - 72;		var x = randomNum(w) + 40;	var y = randomNum(h) + 142;		theImg = document.getElementById('randomthumb');	theImg.src = aniframes[frame].src;	theImg.style.top = y + "px";	theImg.style.left = x + "px";		frame = (frame + 1)%thumbs.length;	timeout_id = setTimeout("animate()", 1000);}