if (window.array_rotator_images) {	var size_image_array = array_rotator_images.length;	var random_image = Math.round(Math.random()*(size_image_array-1));	var image_buffer = new Array();	for (i = 0; i < size_image_array; i++) {		image_buffer[i] = new Image();		image_buffer[i].src = array_rotator_images[i];	}}function showImageRotator() {	if (window.array_rotator_images) {		document.write ('<img src="' + array_rotator_images[random_image] + '">');	}}