code: void write(Writer out)
           throws IOException
      {
          out.write("<frame scrolling=\""+scrolling+"\""+resize+border);
          
          if(src!=null)
              out.write(" src=\""+src+"\"");
          if(name!=null)
              out.write(" name=\""+name+"\"");
          out.write(">");
      }
docs: /* -----------------------------------------------------------------