document.write(3072);