Sahih Bukhari Volume 2, Book 21, Hadith Number 239.

Narated By Ibn Abbas : The prayer of the Prophet used to be of thirteen Rakat, i.e. of the night prayer.