michael@0: postMessage({ appCodeName: navigator.appCodeName,
michael@0:               appName: navigator.appName,
michael@0:               appVersion: navigator.appVersion,
michael@0:               platform: navigator.platform,
michael@0:               userAgent: navigator.userAgent,
michael@0:               product: navigator.product });