function jumpMenu(arg) {
	
		if (arg != 0 && arg != '') {
		
			document.location = arg;
			
		}
		
	}
	
	function toggleRules() {
	
		var rb = document.getElementById('rulesbox');
		
		var tb = document.getElementById('toggleButton');
		
		if (rb.style.display == 'block') {
		
			rb.style.display = 'none';
			tb.value = 'Display Rules';
		
		} else {
		
			rb.style.display = 'block';
			tb.value = 'Hide Rules';
		
		}
	
	}