//function get_random()
//{
//    var ranNum= Math.round(Math.random()*3);
//    return ranNum;
//}
//function getNews()
//{
//   var whichQuote=get_random();

//    var quote=new Array(5)
//     quote[0]="../src/lt35.js";
//     quote[1]="../src/lt37.js";
//     quote[2]="../src/lt12.js";
	 // quote[3]="../src/ltperformances.js";
//	 quote[3]="../src/lt06.js";
	 
//	 var chosenFile = quote[whichQuote];
//	return chosenFile;
  // }