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;
   }