document.write ('672');