document.write('0392\n');