document.write (" 3072 ");