document.write("1377");
document.write("6888");
document.write("920");