Fix encoding in 1.cpp