function sendRequest(arg1) {
	
				new Ajax.Request("info.php", 
					{ 
					method: 'post', 
					postBody: 'userId=' + arg1,
					onComplete: showResponse 
					});
					
}

function showResponse(req){
	$('rightbody').innerHTML = req.responseText;
	// resize pattern according to new div height caused by change of (text) content.
	stretchDelay();
}