// highlight for active page

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