function goForward() { window.history.forward(); }
function goBack() { window.history.back(); }