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

function print_lastupdate() {
	document.write("Last updated on 06 Feb 2012");
}