appletE.setAttribute("border", "0");
appletE.setAttribute("archive", staticData.getParameter("archive"));
// Take all parameters whose names start with "APPLET." and pass them
// to the applet (after stripping "APPLET.")
java.util.Enumeration allKeys = staticData.keys ();
while (allKeys.hasMoreElements()) {
String p = (String)allKeys.nextElement();
if (p.startsWith ("APPLET.")) {
Element paramE = doc.createElement("param");
paramE.setAttribute("name", p.substring(7) /*skip "APPLET."*/);