try{ history.forward();}catch(e){} function ge(id){ return document.getElementById(id);} function ce(tagName) {return document.createElement(tagName);} String.prototype.trim = function() {return this.replace(/^\s+|\s+$/g, '');} String.prototype.ltrim = function() {return this.replace(/^\s+/,'');} String.prototype.rtrim = function() {return this.replace(/\s+$/,'');} Array.prototype.indexOf = function(elt){var len = this.length; for (var i=0; i