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

switch( random_number )
	{
	case 0:
		flash_file = "dotiki";
		break;
	case 1:
		flash_file = "gibson";
		break;
	case 2:	
		flash_file = "hopkins";
		break;	
	case 3:	
		flash_file = "mcmining";
		break;	
	case 4:	
		flash_file = "mettiki";
		break;			
	case 5:	
		flash_file = "pattiki";
		break;	
	case 6:	
		flash_file = "pontiki";
		break;	
	case 7:	
		flash_file = "warrior";
		break;				
	default:
		flash_file = "warrior";
		break;	
	}

document.write( "<scr" + "ipt src=\"javascript/dsp_flash_" + flash_file + ".js\" language=\"javascript\" type=\"text/javascript\"><\/scr" + "ipt>" );