HTML encode JavaScript example.