function changePicture()  
 {  
     $.get( 'random_picture.php', '', setSrc, 'text' )
 };
function setSrc(pic)  
 {  
    $('#picture').attr('src',pic);
 };
$(function() {
 	window.setInterval(changePicture, 4000); 
 	});