document.write('0942\n');