function ok() {
    if (history.length==0) window.close(); else history.back();
}