function pointer() {
    document.body.style.cursor = 'pointer';
    document.body.style.cursor = 'hand';
  }
  function arrow() {
    document.body.style.cursor = 'default';
  }