function over(id) {
 document.getElementById(id).src = "../images/top/" + id + ".png";
}

function out(id) {
 sid = id.substring(1);
 document.getElementById(id).src = "../images/top/" + sid + ".png";
}