function AnimatedButton_download( src )
{
	if( version > 10 )
	{
		var download = new Image( );
		download.src = src;
	}
}

function AnimatedButton_roll( name )
{
	if( version > 10 )
	{
   		var roll = document.images[ name ].src;

   		if( roll.indexOf( 'off' ) < 0 )
       		roll = JavaScript_replace( roll, 'roll', 'off' );
   		else
       		roll = JavaScript_replace( roll, 'off', 'roll' );

   		document.images[ name ].src = roll;
	}
}

function AnimatedButton_window( name, url, param )
{
	var win = self.open( url, name, param );
	if( version > 10 ) win.focus( );
}