function showDocument(uri) {
  location.href = uri;
  return true;
}

function printPage(url) {
    var wnd = window.open(url, "printPreview", "toolbar=yes,location=no,menubar=no,resizable=yes,scrollbars=yes,width=662,height=768");
    if (wnd) wnd.print();
}

function openWebbaseWindow(url, windowName, windowOptions) {
    window.open(url, windowName, windowOptions);
}