fix judger.js
fix judger.php