function dropmenu () {
		if ($("nav")) {
			var items = document.getElementById("nav").getElementsByTagName("li") ;
			for (var i=0; i<items.length; i++) {
				items[i].onmouseover=function() {
					el = $(this) ; el.addClass("hover") ;
					if ($(el.getFirst('ul'))) {
						$(el.getFirst('ul')).setStyle('visibility', 'visible') ; } }
				items[i].onmouseout=function() {
					el = $(this) ; el.removeClass("hover") ;
					if ($(el.getFirst('ul'))) {
						$(el.getFirst('ul')).setStyle('visibility', 'hidden') ; } } } } }