window.onload = init;

function init() {
	hl_hash();
	}

function hl_hash() {
	var h = document.location.hash;
	if (h) {
		h = h.substr(1);
		hlid(h);
		}
	}
function hlid(id) {
	var o = document.getElementById('id_'+id);
	if (o) {
		o.className += ' itemhilited';
		if (o.scrollIntoView) o.scrollIntoView();
		}
	}