// JavaScript Document

var dir = "img/";
var get_box;
get_box = new Array
("'mn_l_stu","mn_l_stu_on","mn_l_eve_on","mn_l_eve","mn_l_teacher_on","mn_l_teacher","mn_les_on","mn_les","mn_s_link_on","mn_s_link","mn_s_mail_on","mn_s_mail","mn_s_map_on","mn_s_map","mn_s_rule_on","mn_s_rule_on");
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";
}