function execute(url) {
	var info_area = document.getElementById('info').getElementsByTagName('div')[0];
	var info_list = info_area.getElementsByTagName('ul')[0];

	var a = new Ajax.Request(
		"/rss/getfeed.php",
		{
			"method": "get",
			"parameters":  'url=' + url,
			onSuccess: function(request) {
				// alert('読み込み成功しました');
				// jsonの値を処理する場合↓↓
				//  var json;
				//  eval("json="+request.responseText);
			},
			onComplete: function(request) {
				//alert('読み込みが完了しました');
				info_list.innerHTML = request.responseText;
				// jsonの値を処理する場合↓↓
				//  var json;
				//  eval("json="+request.responseText);
			},
			onFailure: function(request) {
				alert('読み込みに失敗しました');
			},
			onException: function (request) {
				alert('読み込み中にエラーが発生しました');
			}
		}
	);
}