<!--
// Javascript String lib
String.prototype.string_trim = function() { return this.replace(/^\s+|\s+$/g, ''); }
String.prototype.string_startsWith = function(s) { return this.substring(0,s.length - 1) == s; }
String.prototype.string_endsWith = function(s) { return this.length >= s.length && this.substring(this.length - s.length) == s; }
-->