<!--
function gotoPage(page) {
location.href = page;
}
// -->