<!-- written by Ashish Patel (c) 2006 -->
	function snap(id, img) {
	var element;
	var image;
		if (document.getElementById) {		
			element = document.getElementById(id);
			image = document.getElementById(img);
		} else if (document.all) {
			element = document.all[id];
			image = document.all[img];
		} else if (document.layers) {
			element = document.layers[id];
			image = document.layers[img];
		}
		if ( element.style.display != "none" ) {
			element.style.display = 'none';
			if (img != null) image.src = 'http://www.eclipse.org/tptp/images/more.gif';
		}
		else {
			element.style.display = 'block';
			if (img != null) image.src = 'http://www.eclipse.org/tptp/images/less.gif';
		}
	}
	
	function jumpToAnchor(id) {
		window.location.hash = '#' + id;
	}
	
	function show(id) {
	var element;
		if (document.getElementById) {		
			element = document.getElementById(id);
		} else if (document.all) {
			element = document.all[id];
		} else if (document.layers) {
			element = document.layers[id];
		}
		element.style.display = 'block';
	}

	function hide(id) {
	var element;
		if (document.getElementById) {		
			element = document.getElementById(id);
		} else if (document.all) {
			element = document.all[id];
		} else if (document.layers) {
			element = document.layers[id];
		}
		element.style.display = 'none';
	}