document.write ('5672');