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:
		text_file = "sky1";
		break;		
	case 1:
		text_file = "sky3";
		break;
	case 2:
		text_file = "sky3";
		break;
	case 3:
		text_file = "sky1";
		break;
	case 4:
		text_file = "sky3";
		break;
	default:
		text_file = "sky1";
		break;
	}

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