prova così:

codice:
<script language="JavaScript">

var imgs=new Array("/header/1.jpg","/header/2.jpg", "/header/3.jpg", "/header/4.jpg");

function show_image() {
 rndnum=Math.floor(Math.random()*imgs.length);
 document.images['myimage'].src=imgs[rndnum];
}

</script>
ti consiglio di mettere tutto in un file esterno, che poi includi nella pagina.

ciao