Babylonian Talmud, Tractate Bava Batra

ואמר רבה א"ר יוחנן עתיד הקב"ה לעשות סוכה לצדיקים מעורו של לויתן שנא' התמלא בסוכות עורו זכה עושין לו סוכה לא זכה עושין לו צלצל שנאמר ובצלצל דגים ראשו זכה עושין לו צלצל לא זכה עושין לו ענק שנאמר וענקים לגרגרותיך זכה עושין לו ענק לא זכה עושין לו קמיע שנאמר ותקשרנו לנערותיך והשאר פורסו הקב"ה על חומות ירושלים וזיוו מבהיק מסוף העולם ועד סופו שנאמר והלכו גוים לאורך ומלכים לנוגה זרחךושמתי כדכד שמשותיך א"ר שמואל בר נחמני פליגי תרי מלאכי ברקיעא גבריאל ומיכאל ואמרי לה תרי אמוראי במערבא ומאן אינון יהודה וחזקיה בני רבי חייא חד אמר שוהם וחד אמר ישפה אמר להו הקב"ה להוי כדין וכדין