document.write('0794\n');