// JavaScript Document
function change_image(image_object, new_source)
{
image_object.src=new_source;
}


function show_selected(object_id)
{
document.getElementById(object_id).className="visibleLink";
}

function show_unselected(object_id)
{
document.getElementById(object_id).className="unselected";
}

function show_image(image_object, new_image_name)
{
document.getElementById(image_object).src=new_image_name;
}