The shortest JavaScript quine (I know of)