//---------------------------------------------------------------------
function wopen(url, name, features)
{
    var w = window.open(url, name, features);
    if (w) w.focus();
}
//---------------------------------------------------------------------
function wstrim(s)
{
    if (s == null) return "";
    s = s.replace(/ /g, "");
    s = s.replace(/\n/g, "");
    s = s.replace(/\r/g, "");
    return s;
}