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