function image_over(image_name)
{
var a = document.all(image_name);
a.src = "/Images/" + image_name + "_a.gif"
}
function image_out(image_name)
{
var a = document.all(image_name);
a.src = "/Images/" + image_name + ".gif"
}