document.write('512 ')