function strltrim()
{return this.replace(/^\s+/,'');}
function strrtrim()
{return this.replace(/\s+$/,'');}
function strtrim()
{var str=this.replace(/^\s\s*/,''),ws=/\s/,i=str.length;while(ws.test(str.charAt(--i)));return str.slice(0,i+1);}
String.prototype.ltrim=strltrim;String.prototype.rtrim=strrtrim;String.prototype.trim=strtrim;function js_htmlspecialchars()
{var new_text=this.replace(/&/,'&amp;');new_text=new_text.replace(/</,'&lt;');new_text=new_text.replace(/>/,'&gt;');new_text=new_text.replace(/>/,'&gt;');new_text=new_text.replace(/\'/,'&#039;');new_text=new_text.replace(/\"/,'&quot;');return new_text;}
String.prototype.htmlspecialchars=js_htmlspecialchars;Tips.implement({changeTipTitle:function(new_title,el)
{el.$tmp.myTitle=new_title;}});Tips.implement({changeTipText:function(new_text,el)
{el.$tmp.myText=new_text;}});Group.implement({add_an_item:function(item)
{this.instances.extend([item]);}});