function Properties(keys, values) {
  if (keys == null) keys = new Array();
  if (values == null) values = new Array();

  this.get = function(key) {
    for (i=0; i<keys.length; i++)
      if (keys[i].toLowerCase() == key.toLowerCase())
        return values[i];
    return null;
  }

  this.getKeys = function() {
    return keys;
  }

  this.set = function(key, value) {
    for (i=0; i<keys.length; i++)
      if (keys[i].toLowerCase() == key.toLowerCase()) {
        values[i] = value;
        return;
      }
    keys[i] = key;
    values[i] = value;
  }
}