function buscar() {
    var form = document.forms['formulario'];
    var resultado = document.getElementById("resultados");
    var contenttype = 'application/x-www-form-urlencoded';

    var req;
    if (window.XMLHttpRequest) {
        req = new XMLHttpRequest();
    } else {
        req = new ActiveXObject("Microsoft.XMLHTTP");
    }
    req.open('POST', '/lib/buscadorajax.php', true);
    req.setRequestHeader('Content-Type', contenttype);
    req.onreadystatechange =
        function() {
           if (req.readyState == 4)
               resultado.innerHTML = req.responseText;
        }
    req.send('codigoabuscar=' + escape(form.codigoabuscar.value));
}

function anadirAFavoritos() {
	titulo="Codigos-Descuento.com - Compra mas barato en Internet";
	url="http://www.codigos-descuento.com/";
	if (window.sidebar) { // Mozilla Firefox
		window.sidebar.addPanel(titulo, url,"");
	} else if( window.external ) { // IE
		window.external.AddFavorite( url, titulo); }
	else if(window.opera && window.print) { // Opera
		return true; }
}