// 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"; }