var t;
function updateBanner(npos,fade) {
  var bf = document.getElementById('bannerfade');
  if (bf.style.display != "none") return;
  var bt = document.getElementById('bannertop');
  bf.innerHTML = bt.innerHTML;
  bf.style.opacity = 1;
  bf.style.filter = 'alpha(opacity=100)';
  bf.style.display = 'block';

  clearTimeout(t);
  t = undefined;
  
  new Ajax.Updater('bannertop', 'showPageBanner', {
    evalScripts:true, method:'post', postBody:'update=1&getpos='+npos,
    onComplete: function(response) {
      new Effect.Fade('bannerfade', { duration: fade ? 2.5 : 1.0, fps: 30, delay: 0.5 });
    } } );
}