function show_image(src)
{
document.getElementById("image").src=src;
}