document.write ('3100');