if (window != top) top.location.href = location.href;

menu1 = new Image(150, 22);
menu1.src = "images/topmenu1_1.jpg";
menu1_high = new Image(150, 22);
menu1_high.src = "images/topmenu1_2.jpg";

menu2 = new Image(150, 22);
menu2.src = "images/topmenu2_1.jpg";
menu2_high = new Image(150, 22);
menu2_high.src = "images/topmenu2_2.jpg";

menu3 = new Image(150, 22);
menu3.src = "images/topmenu3_1.jpg";
menu3_high = new Image(150, 22);
menu3_high.src = "images/topmenu3_2.jpg";

menu4 = new Image(150, 22);
menu4.src = "images/topmenu4_1.jpg";
menu4_high = new Image(150, 22);
menu4_high.src = "images/topmenu4_2.jpg";

menu5 = new Image(150, 22);
menu5.src = "images/topmenu5_1.jpg";
menu5_high = new Image(150, 22);
menu5_high.src = "images/topmenu5_2.jpg";


function glow(x, y) {
document.images[x].src=eval(y+'.src');
}