// JavaScript Document

/* preloadImages
 * preload images based on a given image's src. the prototype is:
 *		preloadImages( elementID, image1, image2, image3, ... )
 * where each image is found in the same path as the src attribute for the image element with the given elementID
 */
function preloadImages()
{
	var args = preloadImages.arguments;
	var theElem = args[0];
	var elem = document.getElementById(theElem);
	var path = elem.src;
	path = path.replace(/[^\/]+\.(jpg|gif|png)$/,'');	// peel off the trailing filename, e.g., filename.gif or filename.jpg

	var len = args.length-1;
	var imageArray = new Array(len);
	for(var i=0; i<len; i++)
	{
		imageArray[i] = new Image;
		imageArray[i].src = path+args[i+1];
	}	
}