// JavaScript Document
function open_mask(){
  document.getElementById("phone_mask").style.visibility="visible"
  document.getElementById("site_mask_bg").style.visibility="visible"
}

function close_mask(){
  document.getElementById("phone_mask").style.visibility="hidden"
  document.getElementById("site_mask_bg").style.visibility="hidden"
}