function showTab(number){
for (var i = 1; i < 5; i++) {
document.getElementById('tabLayer' + i).style.display = 'none';}
if (document.getElementById('tabLayer' + number)) {
document.getElementById('tabLayer' + number).style.display = 'block';}}

function showTips(number){
for (var i = 1; i < 3; i++) {
document.getElementById('tipsLayer' + i).style.display = 'none';}
if (document.getElementById('tipsLayer' + number)) {
document.getElementById('tipsLayer' + number).style.display = 'block';}}

function processnode(nnodeid)
  {if (document.all("div_" + nnodeid).style.display == "none")
      {document.all("div_" + nnodeid).style.display = ""}
    else {document.all("div_" + nnodeid).style.display = "none"};}
function hideinfo()
  {document.getElementById('infoLayer').style.display = 'none';}