/**
 * Borrowed the source from:
 * Find the element in the current HTML document with the given id or ids
 * @see http://getahead.ltd.uk/dwr/browser/util/$
 */
var $;
if (!$ && document.getElementById) {
  $ = function() {
    var elements = new Array();
    for (var i = 0; i < arguments.length; i++) {
      var element = arguments[i];
      if (typeof element == 'string') {
        element = document.getElementById(element);
      }
      if (arguments.length == 1) {
        return element;
      }
      elements.push(element);
    }
    return elements;
  }
}
else if (!$ && document.all) {
  $ = function() {
    var elements = new Array();
    for (var i = 0; i < arguments.length; i++) {
      var element = arguments[i];
      if (typeof element == 'string') {
        element = document.all[element];
      }
      if (arguments.length == 1) {
        return element;
      }
      elements.push(element);
    }
    return elements;
  }
}

// this trim was suggested by Tobias Hinnerup
String.prototype.trim = function() {
  return(this.replace(/^\s+/,'').replace(/\s+$/,''));
}

function openPDFWindow(u){
	window.open(u,'ToonPDF','width=800,height=600,menubar=yes,toolbar=yes,status=yes,resizable=yes,scrollbars=yes');
}