function changeImage( id, img )
{
	document.images[id].src = img;
}

function showDiv( id )
{
  document.getElementById( id ).style.visibility = "visible";
  document.getElementById( id + "_text" ).style.fontWeight = "bold";
}

function hideDiv( id )
{
  document.getElementById( id ).style.visibility = "hidden";
  document.getElementById( id + "_text" ).style.fontWeight = "normal";
}