document.write('0765\n');