function pigsCanFly(sDom, sUser){
    return("mail"+"to:"+sUser+"@"+sDom.replace(/%23/g,"."));
  }

// set this variable to a value somewhere in the code to assign focus

var gSetFocusToId = '';
function setFocus() 
{
	if (gSetFocusToId != '') 
	{
		c = document.getElementById(gSetFocusToId);
		if (c != null) c.focus();
	}
}