document.write ('8672');