If the frequency of the crystal oscillator is 20 MHz on a PIC16F877a, the frequency of the signal on OSC1/CLKIN would be?