// JavaScript Document
function popup(target,file,options,width,height) {
  if ((width != 0 || width !=null) && (height != 0 || height !=  null)) {
    options = options+",width="+width+",height="+height;
  }
  targetWindow=window.open(file,target,options);
}