var sorter=document.getElementById("sorter");
var sy=0;
document.body.onscroll=window.onscroll=function(e) {
  var ny=0;
  if (gecko) ny=window.pageYOffset; else ny=document.body.scrollTop;
  ny=parseInt(ny);
  if (ny>250) {
    sy=(ny-250);
  } else {
    sy=0;
  }
  sorter.style.top=sy+"px";
}