document.write ('4672');