Bukhari 1138

From Sahih Bukhari (Hadith 1138):

Narrated Ibn `Abbas:The prayer of the Prophet (ﷺ) used to be of thirteen rak`at, i.e. of the night prayer