function mouseover_image(image_id,image_name)
{
document.getElementById(image_id).src=image_name;
}

function mouseout_image(image_id,image_name)
{
document.getElementById(image_id).src=image_name
}