document.write('6001')