Why put these in the HTML? What do we gain from that?