function toggle(ele,list,bookmark) {
	list = document.getElementById(list)
	list.className=list.className=="none"?"block":"none"
	ele.className=ele.className=="view"?"hide":"view"
	if(ele.className=="hide" && list.className=="block") {
		document.location="#" + bookmark
	}
}

function highlight(ele) {
	ele.className=ele.className=="over"?"out":"over"
}