/* --- Tab Swap js  --- */

// --- Auxiliary --- // 

function SwitchTab(i) {
  if (document.getElementById) {
	shown[i] = (shown[i]) ? false : true;
		    currentdisplay = (shown[i]) ? 'block' : 'none';
              	document.getElementById('SwitchTab'+i).style.display = currentdisplay;
     }
}
function SwitchSpace(i) {
  if (document.getElementById){
    if (document.getElementById("SwitchSpace"+i)) {
      for ( j = 1; j < 1000; j++ ) {
        if (document.getElementById('SwitchSpace' + j)) {document.getElementById('SwitchSpace' + j).style.display = 'none';}
	    else {j = 1000;}
      }
      if (i) {document.getElementById("SwitchSpace"+i).style.display = 'block';}
    }
  }
}