for OnlineJudge's codes