1<p class="Pp">We are using the html device. It can also be written as the html 2 device.</p> 3<p class="Pp">The device name can be overridden. Both escape forms work for the 4 name.</p> 5