Check sketch size

Last time I downloaded a program to an Arduino, the IDE told me the size and remaining memory. What message did you get?

Paul