Netscape Navigator and Internet Explorer include support for web page background music. Using HTML tags, a document can specify an audio file to be downloaded and played when the document is displayed. While the effect can be dramatic since it adds sound to a normally visual interface, background music can also be distracting and may not be desired in certain situations. Like GIF animations, background music will repeat continuously while the user is viewing the web page. It may not be obvious or possible for the user to stop the music so in some cases users have been known to unplug or turn off their speakers while visiting certain web sites.