這段代碼在我正在學習的教程中，它按照DOM中的順序將所有標題標簽記錄在頁面上。有人可以解釋此代碼的工作原理嗎？（特別是部分headings = $$('h1,h2...')）$$字符表示什么？for (var i = 0, headings = $$('h1,h2,h3,h4,h5,h6');     i < headings.length; i++) {   console.log(headings[i].textContent.trim() + " " +                 headings[i].tagName,               headings[i]);}