var max_number       = 5;
var generator_number = Math.random();
var random_number    = Math.round(generator_number*max_number);
var flash_file;

switch( random_number )
	{
	case 0:
		flash_file = "home_vse4000";
		break;
	case 1:
		flash_file = "home_vse4000";
		break;	
	case 2:
		flash_file = "home_vse4000";
		break;
	case 3:
		flash_file = "home_vse4000";
		break;
	case 4:
		flash_file = "home_vse4000";
		break;
		
	default:
		flash_file = "home_vse4000";
		break;	
	}
	
document.write( "<scr" + "ipt src=\"" + rootDirectory + "/scripts/flash/dsp_flash_" + flash_file + ".js\" language=\"javascript\" type=\"text/javascript\"><\/scr" + "ipt>" );