// JavaScript Document

var dir = "../common/";
var get_box;
get_box = new Array
("'mn_0_eve","mn_1_eve","mn_0_les.","mn_1_les.","mn_0_link","mn_1_link","mn_0_mail.","mn_1_mail.","mn_0_map","mn_1_map","mn_0_news","mn_1_news","mn_0_rule","mn_1_rule","mn_0_stu","mn_1_stu","mn_0_teacher","mn_1_teacher");
get_img = new Array();
for (name in get_box) {
get_img[name] = new Image();
get_img[name].src = dir + get_box[name] + ".gif";
}
function changeImage1(file_name,img_name)  {
document.images[img_name].src = dir + file_name + ".gif";
}