change file judged.cc