document.write('6716')