/***********************************************
* header random images
***********************************************/

function RandomizeImage(){
var imagesarray = new Array("/developer/img/hdr/hdr01.jpg", "/developer/img/hdr/hdr02.jpg", "/developer/img/hdr/hdr03.jpg", "/developer/img/hdr/hdr04.jpg", "/developer/img/hdr/hdr05.jpg", "/developer/img/hdr/hdr06.jpg", "/developer/img/hdr/hdr07.jpg", "/developer/img/hdr/hdr08.jpg", "/developer/img/hdr/hdr09.jpg", "/developer/img/hdr/hdr10.jpg", "/developer/img/hdr/hdr11.jpg", "/developer/img/hdr/hdr12.jpg")
var randomnumber = Math.round(Math.random()*(imagesarray.length - 1))
document.images.someimage.src = imagesarray[randomnumber]
}