function aover(img, name) {
  img.src = "images/arrows/"+name+".gif";
}

function aout(img, name) {
  img.src = "images/arrows/"+name+".gif";
}