fix judger.js