function IncludeJavaScript(jsFile)
{
  document.write('<script type="text/javascript" src="'
    + jsFile + '"></scr' + 'ipt>'); 
}
IncludeJavaScript('/js/jquery.js');


<!-- Adaptado por Tk: Compatible con IE y NS -->
<!-- Script original enviado por Graciela -->
function derecha(e) {
if (navigator.appName == 'Netscape' && (e.which == 3 || e.which == 2)){
alert('Botón derecho inhabilitado')
return false;
}
else if (navigator.appName == 'Microsoft Internet Explorer' && (event.button == 2)){
alert('Botón derecho inhabilitado')
}
}
//document.onmousedown=derecha


function nuevoAjax()
{ 
    /* Crea el objeto AJAX. Esta funcion es generica para cualquier utilidad de este tipo, por
    lo que se puede copiar tal como esta aqui */
    var xmlhttp=false; 
    try 
    { 
        // Creacion del objeto AJAX para navegadores no IE
        xmlhttp=new ActiveXObject("Msxml2.XMLHTTP"); 
    }
    catch(e)
    { 
        try
        { 
            // Creacion del objet AJAX para IE 
            xmlhttp=new ActiveXObject("Microsoft.XMLHTTP"); 
        } 
        catch(E) { xmlhttp=false; }
    }
    if (!xmlhttp && typeof XMLHttpRequest!='undefined') { xmlhttp=new XMLHttpRequest(); } 

    return xmlhttp; 
}


function descargar_imagen(id) {
	
	    ajax=nuevoAjax();
    ajax.open("GET", "/descargar.php?idimagen="+id+"&num_ale="+Math.random(), true);
    ajax.onreadystatechange=function() 
    { 
        if (ajax.readyState==4)
        { 
            document.getElementById("descargadiv").innerHTML=ajax.responseText;
        } 
    }
    ajax.send(null);     
 
  }

   
function votar(id)
{
    ajax=nuevoAjax();
    ajax.open("GET", "/ajaxs_votar.php?id="+id+"&num_ale="+Math.random(), true);
    ajax.onreadystatechange=function() 
    { 
        if (ajax.readyState==4)
        { 
            document.getElementById("divvotar").innerHTML=ajax.responseText;
        } 
    }
    ajax.send(null);        
}

 
 
 
 function buscador(tipo)  	{
	if (tipo==1) 
		{
		document.getElementById("buscadorgoogle").style.display="block";
    	document.getElementById("buscadorprogramas").style.display="none";
		}
	if (tipo==2) 
		{
		document.getElementById("buscadorgoogle").style.display="none";
    	document.getElementById("buscadorprogramas").style.display="block";
		}
	}