String.prototype.trim = function() { return this.replace(/^\s+|\s+$/g, ''); }
function el(id) {
  if (document.getElementById) {
    return document.getElementById(id);
  } else if (window[id]) {
    return window[id];
  }
  return null;
}