// Redimensiona el iframe del buscador
function resizeFrame() {
    document.getElementById("oFrameBusc").style.height = eval("window.frames." + "oFrameBusc"+ ".document.documentElement.scrollHeight") + "px";        
}