document.write('6943')