/*
     * resizing and focusing window popup - $Id: pop.js,v 1.1 2002/12/01 01:21:47 dm Exp $
     */

function pop(url,target,width,height) {
    var opt   = "menubar=no,toolbar=no,location=no,status=no,scrollbars=1,"
              + "width="+width+",height="+height
    var popup = open(url, target, opt);
    popup.resizeTo(width,height);
    popup.focus();
}