rewrite judger