//randomly selects an image from 19 sequentially
//numbered .gif's every time the page reloads
function splashpic (){
var length = 11;
var ran_num = Math.round((length-1)*Math.random());
ran_num=ran_num+1;
var source = "http://www.ruleandrule.co.uk/properties/image/"+ran_num+".jpg";
document.images['splash'].src = source;
}