<!--
// filename: images_reload.js
// floats the menu over all of the other objects

var isIMG = document.images;

	if (document.images) {
		<!-- ANIMATE BUTTONS ------->
		<!------ reload page ------>
		reload_on = new Image();   reload_on.src = "http://www.hilmersstudios.com/webfiles/buttons/reload_down.gif";
		reload_off = new Image();   reload_off.src = "http://www.hilmersstudios.com/webfiles/buttons/reload_up.gif";
		}
// -->