document.write ('3671');