function set_splash_pref(cur_pref, new_pref) {
    if(cur_pref == new_pref) return;
    var val = new_pref ? 1 : 0;
    var url = ahost+'/reminders/setprefs.pd?p=splash&v='+val;
    var method = 'GET';
    var allow_async = true;
    var show_waiting = false;
    var req = new Requester(url, method, allow_async, show_waiting);
    req.onsuccess = dummy;
    req.onerror = dummy;
    req.sendRequest();
};  

function dummy(req) { };

function show_splash(x) {
    var loc = ahost+'/reminders/intro_current.pd';
    if(x) loc = loc+'?tip='+x+'&';
    lightbox(loc,{'width':440, 'hideloading':true});
}

function close_splash() {
    var new_pref = document.getElementById('splashchk').checked;
    set_splash_pref(true, new_pref);                                                hideLightbox();
}