function coll(e) {
    if (document.getElementById(e).style.display == 'none') { hideall()
        document.getElementById(e).style.display = 'block';
    } else {
        document.getElementById(e).style.display = 'none';
    }
}

function hideall() {
	var Nodes = document.getElementsByTagName('div')
	var max = Nodes.length
	for(var i = 0;i < max;i++) {
		var nodeObj = Nodes.item(i)
		nodeObj.style.display = 'none';
	}
}

function preloads() {//v1.0
 var d=document,a=arguments; if(!d.FP_imgs) d.FP_imgs=new Array();
 for(var i=0; i<a.length; i++) { d.FP_imgs[i]=new Image; d.FP_imgs[i].src=a[i]; }
}

var hotspots = document.getElementsByName('hotspot');
var toggles = document.getElementsByName('toggle');

function visibilitytoggle()
{
  for (var i = 0; i < hotspots.length; i++)
  {
  hotspots[i].someProperty = i;
  hotspots[i].onclick = function() {toggle(this.someProperty)};
  }

  for (var i = 0; i < toggles.length; i++)
  {
  toggles[i].style.display = 'none';
  }
}

function toggle(i)
{
  if (toggles[i].style.display == 'none')
  {toggles[i].style.display = ''
  }
  else
  toggles[i].style.display = 'none'
} 

function showall()
{
  for (var i = 0; i < toggles.length; i++)
  {
  toggles[i].style.display = '';
  }
}
function setFont()
{
  document.getElementById("myBody").style.fontSize = "10px";
}
function changeFontSize(inc)
{
  var curSize = document.getElementById("mybody").style.fontSize;
  var newSize = parseInt(curSize.substring(0, curSize.indexOf("px")));
  newSize += inc;
  document.getElementById("myBody").style.fontSize = newSize;
}
var min=10;
var max=14;
function increaseFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) 
{
      if(p[i].style.fontSize) 
{
         var s = parseInt(p[i].style.fontSize.replace("px",""));
} 
else 
{
         var s = 12;
}
      if(s!=max) 
{
         s += 2;
}
      p[i].style.fontSize = s+"px"
   }
}
function decreaseFontSize() 
{
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) 
{
if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
} 
else 
{
       var s = 12;
}
      if(s!=min) 
{
         s -= 2;
}
      p[i].style.fontSize = s+"px"
}   
}