// Author: ?
// Date: 2002-02-13
// Description: Checks whether a Real Media Player is installed in the browser.
// Usage:
// check_real { Checks for the installation of a Real Media Player.
// )
// Returns:
// isInstalled A boolean value, either "true" (if it's installed) or "false" (if it isn't).
// Original: http://www.real.com
// HTML usage:
//
//
//
//
//
//
function check_real () {
var RealMode = false;
var RealPlayer5 = 0;
var RealPlayer4 = 0;
var RealPlayerG2 = 0;
var BrowserName = '';
var PlugInName = '';
// Code for Netscape browser
if ((navigator.userAgent.indexOf("MSIE") < 0) || (navigator.userAgent.indexOf("Mac") != -1)) {
BrowserName = 'NS';
// Check for plug-ins
numPlugins = navigator.plugins.length;
for (i = 0; i < numPlugins; i++) {
plugin = navigator.plugins[i];
if (plugin.name.substring(0,10) == "RealPlayer") {
RealMode = true;
PlugInName = plugin.name;
}
}
// Code for Internet Explorer browser
} else {
BrowserName = 'IE';
// Try to create the Real Media objects
document.write('