// JavaScript Document

window.onload=verticalmenu;
function verticalmenu(id) {
var d = document.getElementById(id);
	for (var i = 1; i<=14; i++) {
		if (document.getElementById('navigation'+i)) 

{document.getElementById('navigation'+i).style.display='none';}
	}
if (d) {d.style.display='block';}
}