function init() {
	if(document.all && !window.opera) {
		var menu = document.getElementById("menu");
		if(menu) {
			var items = menu.getElementsByTagName("li");
			for(var i = 1; i < items.length; i++) {
				var text = document.createTextNode(" / ");
				menu.insertBefore(text, items[i]);
			}
		}
	}
}

evt.add(window, "load", init);