function createHeader()
  {
    var img;
   
    // Generate a random number
    var max_number = 3;     // MODIF
    any_date = new Date();
    var rand_number = Math.round(max_number * Math.cos(any_date.getTime()));
    if (rand_number < 0) rand_number = - rand_number;
    if (rand_number == 0) rand_number++;

    img = 'headerimages0'+rand_number+'.jpg';    // MODIF - the names of the files

    // Rotate images
    document.write('<img src="../../english/images/rotating_images/' + img + '" width="568" height="123"">');  // MODIF
  }