ECMAScript5  extensions