function reloadPage() {
	location="version_history.php?vhVersion=" + document.selectVersion.vhVersion.options[document.selectVersion.vhVersion.selectedIndex].value;
}