function move_banner() {
  document.getElementById('banner').style.top=document.body.scrollTop+130;
}

function move_banner_main() {
  document.getElementById('banner').style.top=document.body.scrollTop+130;
}