document.write ('6700');