/*
			commonh = new Image ();  commonh.src = "images/buttons/common_h.jpg";
			commonl = new Image ();  commonl.src = "images/buttons/common_l.jpg";

			studyh = new Image ();  studyh.src = "images/buttons/study_h.jpg";
			studyl = new Image ();  studyl.src = "images/buttons/study_l.jpg";

			biblioh = new Image ();  biblioh.src = "images/buttons/press_h.jpg";
			bibliol = new Image ();  bibliol.src = "images/buttons/press_l.jpg";

			infrah = new Image ();  infrah.src = "images/buttons/infra_h.jpg";
			infral = new Image ();  infral.src = "images/buttons/infra_l.jpg";

			internationalh = new Image ();  internationalh.src = "images/buttons/international_h.jpg";
			internationall = new Image ();  internationall.src = "images/buttons/international_l.jpg";
*/
		function hover (imgDocID, imgObjName) {
			document.images[imgDocID].src = imgObjName;
			}