Mario on the world wide web