function updatepage(str){
    document.getElementById("ajax_result").innerHTML = str;
}

function loadRandomPictures() {
	xmlhttpPost("randompictures.php", "count=3");
}