// JavaScript Document
function flipImage(img, src)
{
	if (img != null && src != '')
		img.src = src
}
function mark(obj, color)
{
  obj.style.backgroundColor = color;
}
function unmark(obj)
{
  obj.style.backgroundColor = 'transparent';
}
function show(obj)
{
  elem = document.getElementById(obj);
  if (elem != null)
  {
    elem.style.visibility = 'visible';
    mark(elem.parentNode, '#EDEDED');
  }
}
function hide(obj)
{
  elem = document.getElementById(obj);
  if (elem != null)
  {
    elem.style.visibility = 'hidden';
    unmark(elem.parentNode);
  }
}
function goto(url)
{
  if (url != '' && url != '#')
    window.location.href = url;
}