function popup(pu, pn, pa) {
	window.open(pu, pn, pa);
}


function WM_imageSwap(daImage, daSrc)
{
  var objStr,obj;
  if(document.images)
  {
    if (typeof(daImage) == 'string')
	{
      objStr = 'document.' + daImage;
      obj = eval(objStr);
      obj.src = daSrc;
    } else if ((typeof(daImage) == 'object') && daImage && daImage.src)
	{
      daImage.src = daSrc;
    }
  }
}

function over(name, value) 
{
	document.all[name].style.border = [value];
}