function arrow_over(id) {
    div = document.getElementById('thumbnail_'+id);
    div.className = 'arrow_active';
  }

  function arrow_out(id) {
    div = document.getElementById('thumbnail_'+id);
    div.className = 'arrow_inactive';
  }