// GetSwf
// Get an item from the page by id, all set or name depending
// on how the browser supports it
function GetSwf( strId )
{
	if ( document.getElementById )
	{
		return document.getElementById( strId );
	}
	else if ( document.all )
	{
		return document.all[ strId ];
	}
	else
	{
		return eval( 'window.document.' + strId );
	}
}
// FlashMouseOver
// Go to the specified label within the flash movie
function FlashMouseOver( strClip, strLabel )
{
	var swf = GetSwf( 'distinctions' );
	if (swf)
	{
		swf.TGotoLabel( strClip, strLabel );
		// flash is already playing in this design
	}
}