document.write('6873')