document.write ('6671');