function print_version() {
	document.write("Version No: 1.2");
}

function print_lastupdate() {
	document.write("Last updated on 20 Jul 2010");
}