/*  $Id: $.js 16 2006-09-29 03:11:46Z rreyes $.js 9973 2006-08-17 05:41:45Z rdFrank $.js 9672 2006-08-15 06:22:57Z rdFrank $.js 6534 2006-06-28 02:26:34Z rdFrank $
 *  document.getElementById replacement.
 */
// Prevent jquery overwriting $() 
var Prototype = {
    Version: '1.4.0'
};
function $() {
  var els = new Array();
  for (var i = 0; i < arguments.length; i++) {
    var el = arguments[i];
    if (typeof el == 'string')
      el = document.getElementById(el);
    if (arguments.length == 1)
      return el;
    els.push(el);
  }
  return els;
}