function fade(){
  var body_fade = document.getElementById('body_fade');
  // body_fade.style.opacity = 0.5;
  // body_fade.style.filter = 50;
}
;