function image_swap(image_id, image_src)
{
document.getElementById(image_id).src=image_src;
}