// Este script no es necesario, existe porque algunas paginas lo incluyen sin usarlo.

function funcjs(url)
{
  window.open (url);
}