function openWindow(url, name, attr)
{
	attr += ",resizable=yes,scrollbars=yes,toolbar=no";
	var w = window.open(url, name, attr);
	w.shouldReloadOpener = true;
	w.focus();
}

function show_hide(id) {
        var e = document.getElementById(id);
        if (!e) return;
        if (e.style.display == 'none')
                e.style.display = '';
        else
                e.style.display = 'none';
}


function do_focus(id) {
        var e = document.getElementById(id);
        if (!e) return;
        e.focus();
}