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