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

function print_lastupdate() {
	document.write("Last updated on 16 Aug 2010");
}