document.write('7047\n');