document.write ('512 ' );