document.write ('6716');