[devil01.out]