// numero de pixels de separacion con la parte superior de la ventana  
var theTop = 170  
  
var menu, scrollIt  
  
// posicion actual  
var old = theTop  
// a true, la posición del menu se mantiene a "theTop" pixels, aunque se desplace la pagina verticalmente  
// a false, el menu es fijo  
var scrollIt = true  
  
// INICIALIZACION  
function init() {  
    // obtiene referencia al objeto con el menu  
    menu = new getObj('menu')  
    // obtiene si hay que mantenerlo fijo o moverlo, a partir del checkbox del propio menu  
    scrollIt = (document.layers) ?  
        document.menu.document.forms[0].elements[0].checked :  
        document.forms["capamenu"].elements[0].checked  
    // inicia el proceso que mantiene la posicion a "theTop" pixels  
    movemenu()  
}  
  
//MOVIMIENTO  
function movemenu() {  
    if (scrollIt) {  
        if (window.innerHeight) {  
              pos = window.pageYOffset  
        } else if (document.documentElement && document.documentElement.scrollTop) {  
            pos = document.documentElement.scrollTop  
        } else if (document.body) {  
              pos = document.body.scrollTop  
        }  
          
        if (pos < theTop)  
            pos = theTop  
        else  
            pos += 170  
        if (pos == old)  
            menu.style.top = pos + 'px'  
  
        old = pos  
    }  
      
    moveID = setTimeout('movemenu()',200)  
}  
  
//OBTENCION DE REFERENCIA AL OBJETO  
function getObj(name) {  
//si soporta DOM Lelvel 2  
  if (document.getElementById) {  
    this.obj = document.getElementById(name)  
    this.style = document.getElementById(name).style  
 // si soporta el DOM del IE4.x  
  } else if (document.all) {  
    this.obj = document.all[name]  
    this.style = document.all[name].style  
  // si soporta el DOM del N4.x  
  } else if (document.layers) {  
    this.obj = document.layers[name]  
    this.style = document.layers[name]  
  }  
}  
  
window.onload = init  
if (document.captureEvents) { captureEvents  
    document.captureEvents(Event.LOAD)  
}  
 
