document.write('7001')