以下は、ブラウザの詳細を表示する JavaScript コードです。出力が表示されません。どこが間違っているのか教えてください。
<html>
<head>
<title></title>
<script type="text/javascript">
var txt;
txt = "<p>Browser CodeName: " + navigator.appCodeName + "</p>";
txt+= "<p>Browser Name: " + navigator.appName + "</p>";
txt+= "<p>Browser Version: " + navigator.appVersion + "</p>";
txt+= "<p>Cookies Enabled: " + navigator.cookieEnabled + "</p>";
txt+= "<p>Platform: " + navigator.platform + "</p>";
txt+= "<p>User-agent header: " + navigator.userAgent + "</p>";
document.getElementById("example").innerHTML=txt;
</script>
</head>
<body>
<p id="example"></p>
</body>
</html>