var version = "0.9.4a rev4800";

function getVersion() {
	return version;
}