var randnum = Math.random();
var num = 4;
var rand = Math.round(randnum * (num-1)) + 1;

function fondoAleatorio() {
     document.getElementById("encabezado").style.backgroundImage = "url(imagenes/fondo_encabezado_"+ rand + ".png)";
}