<!--
function imprimeParaEnlaces(texto)
{
	document.write(texto);
}
function imprimeURL(url,nombre)
{
	document.write("<a href=" + url + ">" + nombre + "</a>");
}
function pintaLinea1(enlace,texto1,texto2,total)
{
  document.write("<tr><td><b><font color=darkblue face=verdana size=1><a href=" + enlace + ">" + texto1 + "</a></font><br><font face=verdana size=1>(" + texto2 + ")</font></b></td><td align=right><font color=darkred face=verdana size=1>" + total + "</font></td></tr>");
}
function pintaLinea2(texto1,total)
{
  document.write("<tr><td><b><font color=darkblue face=verdana size=1>" + texto1 + "</font></b></td><td align=right><font color=darkred face=verdana size=1>" + total + "</font></td></tr>");
}
//-->
