function hs(tab) {
		var tabs = tab.parentNode.getElementsByTagName('a');
		for (var i = 0; i < tabs.length; i++) {
			var tid = tabs[i].getAttribute('to');
			var div = document.getElementById(tid);
			div.style.display = (tab == tabs[i]) ? '' : 'none';
			tabs[i].className = (tab == tabs[i]) ? 'hi' : 'lo';
		}
	}