// function window_resize(width, height, left, top)
function window_resize (width, height, left, top)
{// this function will resize an open window to the
// proscribed width and height.  It will also reposition
// the window based to be located at the left corner position

window.resizeTo(width, height);
// now reposition window
if(typeof left == "undefined"){left = 10;}
if(typeof top == "undefined"){top = 10;}
window.moveTo(left, top);
}