using "with javascript:" to modify String.prototype to act like Python's str object.