today=new Date();
now=today.getTime();
num= Math.floor((Math.random() * now) % 3);
var myDesti	

if (num == 0) 
  {
    myDesti=('destinations/rome.txt');
  }
else if (num == 1)
  {
    myDesti=('destinations/athens_gr.txt');
  }
else if (num == 2) 
  {
    myDesti=('destinations/rome.txt');
  }