var thepopup;

function popup( url, height, width )
{
	if( thepopup )
		thepopup.close();

	thepopup = open(url,'popup','height=' + height + ',width=' + width + ',scrollbars=false,resize=false');
}

function swap( which, state)
{
  	path = "/images/" + which + "_" + state + ".gif";
   document.getElementById(which).src = path;
}