if (window.event + "" == "undefined") event = null;
function HM_f_PopUp() { return false };
function HM_f_PopDown() { return false };
popUp = HM_f_PopUp;
popDown = HM_f_PopDown;

function changeImage(name, file) {
	document[name].src = file;
}