function pop(id)
{
  $(id).setStyle({display:'block'});
}

function depop(id)
{
  $(id).setStyle({display:'none'});
}

function navigate_to(url)
{
	top.location.href = url;
}