if (document.images) {
mail1= new Image(144,80); mail1.src="mail1.gif";
mail2= new Image(144,80); mail2.src="mail2.gif";
gboek1= new Image(144,80); gboek1.src="gboek1.gif";
gboek2= new Image(144,80); gboek2.src="gboek2.gif";
}
function hiLite(imgName,imgObjName) {
if (document.images) {
  document.images[imgName].src = eval(imgObjName + ".src");
}}