if(typeof(article) == "undefined" || article == null) var article = new Object();
if(typeof(article.navi) == "undefined"){
	article.navi = new Object();
	article.navi.busy = false;
	article.navi.to = null;
	article.navi.onMouseDown = function(){
		if(article.navi.busy) return;
		article.navi.busy = true;
		var ul = this.getElementsByTagName("ul")[0];
		if(typeof(ul) == "undefined") return;
		ul.style.display = (ul.style.display == "none" || ul.style.display == "") ? "block" : "none";
		article.navi.to = setTimeout(article.navi.onMouseUp,200);
	}
	article.navi.onMouseUp = function(){
		article.navi.busy = false;
		clearTimeout(article.navi.to);
	}
}