var slideTime = 700, topMargin;
xAddEventListener(window, 'load',
  function () {
    topMargin = 10;
    winOnResize(); // set initial position
    xAddEventListener(window, 'resize', winOnResize, false);
    xAddEventListener(window, 'scroll', winOnScroll, false);
  }, false
);
function winOnResize() {
  xMoveTo('slidingMenu', 6, topMargin);
  xGetElementById('slidingMenu').style.visibility = 'visible';
  winOnScroll(); // initial slide
}
function winOnScroll() {
  xSlideTo('slidingMenu', xLeft('slidingMenu'), xScrollTop() + topMargin, slideTime);
}
function setSlideTime(st) {
  st = parseInt(st);
  if (!isNaN(st)) slideTime = st;
  var e = xGetElementById('st');
  e.value = st;
  return false;
}