document.write('0943\n');