Unofficial mirror of the JavaScript of WebKit  http://www.webkit.org/