Warm-up

A turkey shrinks about 25% when cooked. How much does a cooked turkey weigh if it weighed
15.5 pounds before being put in the oven?