topmenu_1_out = new Image();
topmenu_1_out.src = "images/topmenu_1_out.gif";
topmenu_1_over = new Image();
topmenu_1_over.src = "images/topmenu_1_over.gif";
topmenu_2_out = new Image();
topmenu_2_out.src = "images/topmenu_2_out.gif";
topmenu_2_over = new Image();
topmenu_2_over.src = "images/topmenu_2_over.gif";
topmenu_3_out = new Image();
topmenu_3_out.src = "images/topmenu_3_out.gif";
topmenu_3_over = new Image();
topmenu_3_over.src = "images/topmenu_3_over.gif";

function change(x,y) {
 if (document.images) document.images[x].src = eval(y+".src");
}