After The Song of Moses, the following hymns are sung.
Introduction to the Kedusha
Kedushah
Continuation of the Amidah repetition