function jumpMenu(arg) {		if (arg != 0 && arg != '') {				document.location = arg;				}		}