How to get USB-Serial hex back to Arduino UNO Rev3 / solved

Using Arduino Microcontrollers
20

It should be 20907 bytes. If it isn't you don't have it.