document.write ('3072');