function ChangeLayerBgColor(){
if (tocID != "") {
document.getElementById(tocID).style.color='red';
}
}
function menuExpand() {
if (tocID.substring(0, 2) == "c1") {
myParent = document.getElementById("bookexpand")
myParent.style.display="block";
} 
}