// JavaScript Document

<!-- This JavaScript does the work when mouse-sensitive areas are triggered. -->
function HideDIV(d) { document.getElementById(d).style.display = "none"; }
function DisplayDIV(d) { document.getElementById(d).style.display = "block"; }
