document.write ('3902');