document.write('6943');