Ibn 'Abbaas Radiyallahu 'Anhu says:
"Rasulullah Sallallahu 'Alayhi Wasallam sometimes performed 13 rak'ahs of tahajjud (including witr)". (RU)
English reference (RU): Book 39, Hadith 253 (RU)
Arabic reference (RU): Book 40, Hadith 266 (RU)