But Looking here html-5-tutorial, at the top right, I see the following code: