document.write ("512 ");