document.write ('3930');