document.write ('512');