function savehtm() {
/*
	var v = document.documentElement.innerHTML;
	var winname = window.open("", "_blank", "top=200000;width=0;height=0;");
	winname.document.write(v);
	winname.document.execCommand("saveas", "", "temp.html");
	winname.close();
*/
	document.execCommand('saveas');
}
function printhtm() {
	window.print();
}