paste original js wrapped in a comment, so we know what needs to be done.