function home_text (show) {
  
  var holder;
  
  if (holder = document.getElementById ('home_intro_text')) {
    holder.style.visibility = (show? 'visible': 'hidden');
  }
}