document.write("512 ");