// The following is part of the code for detecting RealPlayer Plugins

var i_realplayer;
var v_realplayer;
var i_realone;
var v_realone;
var a_realone;
var i_realjukebox;
var v_realjukebox;
var i_realplayerg2;
var v_realplayerg2;
var i_realvideo;
var v_realvideo;
var i_realplayerplus;

if ( navigator.plugins ) 
{
	for ( var i=0; i < navigator.plugins.length; i++ ) 
	{
		if ( navigator.plugins[i].name.toLowerCase().indexOf( "realone player" ) >= 0 ) 
		{
			i_realone = true;
			v_realone = navigator.plugins[i].description;
		} else if ( navigator.plugins[i].name.toLowerCase().indexOf( "realplayer" ) >= 0 ) 
		{
			i_realplayer = true;
			i_realplayerg2 = true;	
		} else if ( navigator.plugins[i].name.toLowerCase().indexOf( "realjukebox" ) >= 0 ) 
		{
			i_realjukebox = true;
		}
	}
}