
<!--
function back() {
    history.go(-1);
}
function forward() {
    history.go(+1);
}
//-->

