// JavaScript Document

//toggle visibility
function toggle () {
	if (document.getElementById) {
		var argv = toggle.arguments;
  		var argc = argv.length;
  		for (var i = 0; i < argc; i++) {
			target = document.getElementById( argv[i] );
				if (i == 0) {
						target.style.visibility = "visible";
				} else {
						target.style.visibility = "hidden";
				}
		}
	}
}