function open_popup()
   {
    popup = document.getElementById('christmas_popup');
    popup.style.visibility = 'visible';
   }
   
   function close_popup()
   {
    popup = document.getElementById('christmas_popup');
    popup.style.visibility = 'hidden';
   }