It is narrated from Sayyiduna Ibn Abbas (may Allah be pleased with them both) that the Messenger of Allah (peace and blessings be upon him) woke up at night from sleep, used the miswak, prayed two rak‘ahs, and went back to sleep. Then he woke up again, used the miswak, performed ablution, prayed two rak‘ahs, and went back to sleep. In this way, the Prophet (peace and blessings be upon him) prayed six rak‘ahs, then prayed three witr, and then prayed two rak‘ahs (the Sunnah of Fajr).