var requiredMajorVersion = 9;
var requiredMinorVersion = 0;
var requiredRevision = 0;

function switch_class(id, newClass) {
	identity = document.getElementById(id);
	identity.className=newClass;
}

function showhide(id) {
	identity = document.getElementById(id);
	if (identity.style.display!="inline") {
		identity.style.display = "inline";
	} else {
		identity.style.display = "none";
	}
}

function submitForm(id) {
	identity = document.getElementById(id);
	identity.submit();
}