alert window.history.back(); "; } else { echo "; "; }