document.write('0397\n');