[jhonalone]

ASUNTO RESUELTO.
Por si puede interesar a alguien, he resuelto el problema cambiando algo el código HTML y utilizando un par de funciones en JavaScript. El código ha quedado así.

<SCRIPT LANGUAGE="JavaScript"><!--

function activarOver(elemento)
{
	if (CorreoEnviado(document.myformula.ControlOculto.value)) 
	{	if(MSFPhover) 
		{
		document['EnvCopia'].src=EnvCopiah.src; 
		elemento.href ="QuiniLoto.zip";
		}
	}
}

function activarOut()
{
	if (CorreoEnviado(document.myformula.ControlOculto.value)) 
	{	if(MSFPhover) 
		{
		document['EnvCopia'].src=EnvCopian.src;
		}
	}
	else
	{	if(MSFPhover) 
		{
		document['EnvCopia'].src=EnvCopiap.src;
		}	
	}
}
// --></SCRIPT>

<A  
 ONMOUSEOVER="activarOver(this)"
 ONMOUSEOUT="activarOut()"
 name="EnvCop">