function printAndReturn() {
	print();
	history.back();
}