document.write ('6672');