// highlight for active page

function HL(ID, HighLight) {
document.getElementById(ID).style.cssText = HighLight;
}