function splash_cycle(max_images){var splash=document.getElementById("splash_img");var splash_url=splash.src;var img_num=parseInt(/([0-9]+).jpg/.exec(splash_url)[1],10);var new_num=Math.floor(Math.random()*(max_images+1));splash_url=splash_url.replace(/[0-9]+/,new_num);splash.src=splash_url;}