function carta(nombrecarta, set) {
	if (set == undefined)
	{
		set = '';
	}
	uri = nombrecarta.replace(/\//g,'[') + '|' + set;
	params = 'width=643, height=543, scrollbars=1, resizable=1, menubar=0, status=0';
	window.open('http://www.magiccards.info/autocard/' + uri, 'autocard', params);
}

function verificar()
{
if(document.form1.msj.value.replace(/ /g, '') == '')
{
alert("Debe Ingresar un valor ");
document.form1.msj.focus();
document.form1.msj.select();
return false;
}
else document.form1.submit();
}