What is twenty five times three?