PropertyKey child;
for (int i=0; i < props.getNumChildren(key); i++)
writeNode(props, props.getChildKey(key, i));
Vector scripts = props.getScriptIDs(key);
ScriptID script;
if (scripts != null && scripts.size() != 0) {
out.write("<hr>");
for (int i=1; i < scripts.size(); i++)
writeScript((ScriptID) scripts.elementAt(i));
}