function swap(id) {
id.innerHTML = (id.innerHTML.charCodeAt(0) == '9650') ? '▼' : '▲';
}

function callback_page_ajax(data) {
  $('ajax_found').innerHTML = data;
}