// JavaScript Document

function copy(o) {
	var r = {};
	for (var i in o) r[i] = typeof(o[i]) == 'object' ? copy(o[i]) : o[i];
	return r;
}

BLANK_IMAGE = '/images/b.gif';

		var lastTip = null;

		function setVis(id, value) {
			var o;
			if (document.getElementById && (o = document.getElementById(id)) && o.style)
				o.style.visibility = value;
		}

		function show(id) {
			setVis(id, 'visible');
		}

		function hide(id) {
			setVis(id, 'hidden');
		}

		function navTip(id) {
			if (lastTip)
				hide(lastTip);
			show(id);
			lastTip = id;
		}