document.write ('6945');