document.write('6071\n');