if (navigator.appName == "Microsoft Internet Explorer") { document.write('Bookmark for jokes. Add to favorites.') } --->