function back() {
	history.back(1);
}