What is the product of 35×512?