function floatNav(){
 if (document.getElementById) {
  navigation = document.getElementById('navigation');
 }
 else {
  navigation = document.all['navigation'];
 }

 var old_top = 108;
 var new_top = old_top + window.pageYOffset;
 navigation.style.top = new_top + "px";
}