window.onload = choosePic;

var tpmsPix = new Array(
"Images/findSensorBkgd1.gif", "Images/findSensorBkgd2.gif", "Images/findSensorBkgd3.gif", "Images/findSensorBkgd4.gif", "Images/findSensorBkgd5.gif", "Images/findSensorBkgd6.gif", "Images/findSensorBkgd7.gif", "Images/findSensorBkgd8.gif", "Images/findSensorBkgd9.gif", "Images/findSensorBkgd10.gif", "Images/findSensorBkgd11.gif"
);

function choosePic () {
	randomNum = Math.floor((Math.random() * tpmsPix.length));
	document.getElementById("findSensorText").src = tpmsPix[randomNum];
}
/* This simple javascript generates a random image on the page. Everytime you
load the page a random image within the array above will show up in the placeholder
area on the html. On the random.html page associated with this javascript page
we have a one pixel by one pixel white image (source.gif) that is being replaced by 
the images in the array above when the page loads. Source.gif has an id of "myPicture"
allowing the function to work. */