// JavaScript Documentfunction rotate_image( index, element_id, path, ext, timeout, image_count ){	document.getElementById( element_id ).src = path + index + '.' + ext;	if( index >= image_count ) index = 1;	else index++;		setTimeout( 'rotate_image( ' + index + ', \'' + element_id + '\', \'' + path + '\', \'' + ext + '\', ' + timeout + ', ' + image_count + ' )', timeout*1000 );}