function getDOMElement(name)
{
    return (document.all ? document.all[name] : document.getElementById(name));
}

function openNewWindow(url,width,height)
{
    window.open(url,
                new String(Math.round(Math.random() * 100000)),
                "toolbar=0,location=0,directories=0,status=1,menubar=0,scrollbars=1,"
                +"resizable=1,width="+width+",height="+height);
}