function createHeader()
  {
    var img;
    
    // Generate a random number
    var max_number = 7;
    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 = 'header0'+rand_number+'.jpg';

    // Rotate images
    document.write('<img src="/english/images/headers/'+img+'" width="649" height="104">');
  }