// JavaScript Document
if (document.images)
	{
	preload_image_object = new Image();
	// set image url
	image_url = new Array();
	// to preload an image add it here
		
	image_url[0] = "images/home_on.gif";
	image_url[1] = "images/home_over.gif";
	image_url[2] = "images/home_off.gif";
	image_url[3] = "images/research_on.gif";
	image_url[4] = "images/research_over.gif";
	image_url[5] = "images/research_off.gif";
	image_url[6] = "images/teaching_on.gif";
	image_url[7] = "images/teaching_over.gif";
	image_url[8] = "images/teaching_off.gif";
	image_url[9] = "images/publications_on.gif";
	image_url[10] = "images/publications_over.gif";
	image_url[11] = "images/publications_off.gif";
	image_url[12] = "images/about_on.gif";
	image_url[13] = "images/about_over.gif";
	image_url[14] = "images/about_off.gif";
	image_url[15] = "images/contact.gif";
	// if you need to add an additional image to preload: copy/paste the last line above, change the number in the brackets to the next in sequence, and change the image path... then....

	var i = 0;
	// ...change i<=__ to the last number in the above array (the number in the brackets)	   
	for(i=0; i<=15; i++) 
	preload_image_object.src = image_url[i];
	}