// Specify the ID of the DIV or other container that is the tip box.
var TipBoxID;
var tip_box_id;
function DisplayTip(TipBoxID) {
   tip_box_id = document.getElementById(TipBoxID);
   tip_box_id.style.display = "block";
}
function HideTip(TipBoxID) { 
   tip_box_id = document.getElementById(TipBoxID);
   tip_box_id.style.display = "none"; 
}