var Window01=null;

function popup01(f, w, h) // f: single-quote-encapsulated filename, w: width of target window, h: height of target window.
{
    Window01= window.open(f,'Window01','width='+w+',height='+h);
    Window01.resizeTo(w, h);
    Window01.focus();
	return false;
}

function closeWindow(){
  if(Window01) Window01.close();
}