document.write('6934');//