<!--
// back to previous page
function backward() {
        window.history.go (-1)
}
// -->