function getProp(p) { if (this.elementResolved()) return this.elementID[p]; }
function setProp(p,v) { if (this.elementResolved()) this.elementID[p] = v; }

function getElementID() {
 with (this) {
  var val = "";
  if (type == "")
   return;
  else if (type == "Radio")
   val = value;
  else if (document.all)
   elementID = eval("document.all." + name);
  else
   elementID = eval("document." + name);

  if (elementID == null) {
   elementID = resolveElementInDoc(document, name, type, val);

   if (elementID == null && navigator.appName.indexOf('Microsoft') >= 0) elementID = eval(name);
//   if (elementID == null && type != "Plug-In") alert("Could not resolve elementID for " + name + " (" + type + ")");
  }
 }
}

function elementResolved() {
 if (this.elementID == null) this.getElementID();
 return (this.elementID != null);
}

function resolveElementInDoc(doc, name, type, value) {
 elementID = null;
 if (type == "Image" && doc.images) {
  for (var i=0; i < doc.images.length; i++) {
   if (doc.images[i] && doc.images[i].name == name) {
    elementID = doc.images[i];
    return elementID;
   }
  }
 }
 else if (type == "Form")
  elementID = eval("doc." + name);
 else if (type == "Applet")
  elementID = eval("doc.applets." + name);
 else if (type == "Plug-In")
  elementID = eval("doc.embeds." + name);

 if (elementID == null &&
  doc.forms && doc.forms[0] && doc.forms[0].elements) {
  for (var i = 0; i < doc.forms[0].elements.length; i++) {
   if (doc.forms[0].elements[i] && (doc.forms[0].elements[i].name == name) && (type != "Radio" || doc.forms[0].elements[i].value == value)) {
    elementID = doc.forms[0].elements[i];
    return elementID;
   }
  }
 }

 if (elementID == null && doc.layers) {
  for (var i=0; elementID == null && i < doc.layers.length; i++) {
   if (doc.layers[i])
    elementID = resolveElementInDoc(doc.layers[i].document, name, type, value);
  }
 }

 return elementID;
}

function replaceAwithBinC(a,b,c) {
 i = c.indexOf(a);
 aLen = a.length;
 bLen = b.length;
 while (i != -1) {
  c = c.substring(0,i) + b + c.substring(i+aLen, c.length);
  i = c.indexOf(a, i+bLen);
 }
 return c;
}

function trace(theString) {
 var System = java.lang.System;
 System.out.println(theString);
}

function dumpProperties(Obj, ObjName) {
 var result = "";
 for (var i in Obj)
  result += ObjName + "." + i + " = " + Obj[i] + "\n";
 return result;
}

function nullFunc() {}