/* Cambiar la imagen de la cabecera aleatoriamente */ 
 
  /* Calcular un valor aleatorio entre 0 y el tamaño del array 
   *  pasado por parametro */
   function randomPos(a) {
      return Math.floor((Math.random() * a.length) % a.length);
   }
 
   /* Array con las rutas de las imágenes a utilizar */
   var rutasImg = ["/plantilla/100/img/logos/logo_maerco_1.gif", 
				   "/plantilla/100/img/logos/logo_maerco_2.gif", 
				   "/plantilla/100/img/logos/logo_maerco_3.gif", 
				   "/plantilla/100/img/logos/logo_maerco_4.gif", 
				   "/plantilla/100/img/logos/logo_maerco_5.gif", 
				   "/plantilla/100/img/logos/logo_maerco_6.gif", 
				   "/plantilla/100/img/logos/logo_maerco_7.gif", 
				   "/plantilla/100/img/logos/logo_maerco_8.gif", 
				   "/plantilla/100/img/logos/logo_maerco_9.gif", 
				   "/plantilla/100/img/logos/logo_maerco_10.gif", 
				   "/plantilla/100/img/logos/logo_maerco_11.gif", 
				   "/plantilla/100/img/logos/logo_maerco_12.gif"];
 
   /* Hacemos uso de jQuery para modificar (o asignar) el valor 
    *  del atributo "background-image" al elemento 
    *  con id "cabecera"  */
   $(document).ready(function() { 
      var imagen = "url(" + rutasImg[randomPos(rutasImg)] + ")";
      $("h1").css("background-image", imagen);
   });