document.write('0769\n');