: $ : : $ : : * : s : $ : $ : : ♦ : : $ : s :