outdated benchmark. Opera javascript is substantially faster now