Sahih al-Bukhari, Hadith 1138 ⓘ
Narrated Ibn `Abbas: The prayer of the Prophet used to be of thirteen rak`at, i.e. of the night prayer.
حَدَّثَنَا مُسَدَّدٌ، قَالَ حَدَّثَنَا يَحْيَى، عَنْ شُعْبَةَ، قَالَ حَدَّثَنِي أَبُو جَمْرَةَ، عَنِ ابْنِ عَبَّاسٍ ـ رضى الله عنهما ـ قَالَ كَانَ صَلاَةُ النَّبِيِّ صلى الله عليه وسلم ثَلاَثَ عَشْرَةَ رَكْعَةً. يَعْنِي بِاللَّيْلِ.
also referenced under: Book 19, Hadith 19 (In-Book) & Volume 2, Book 21, Hadith 239 (USC-MSA)