function toggle_navigation(mode) {
		nav = document.getElementById('navigation');
		handle = document.getElementById('navigation_handle');
		if (navigator.appName != "Microsoft Internet Explorer") module = document.getElementById('module');

		if (typeof(mode) == 'undefined') {
			mode = (handle.style.left != '0px') ? 'hide' : 'show';
		}

		if (mode == 'hide') {
			handle.style.left = '0px';
			nav.style.left = '-188px';
			module.style.left = '20px';
		} else {
			handle.style.left = '192px';
			nav.style.left = '0px';
			module.style.left = '210px';
		}
	}