// JavaScript Document
var last_info = '1';

function change_info(info) {
  info = info + 1;
  document.getElementById('example_'+last_info).style.display = 'none';
  document.getElementById('example_'+info).style.display = 'inline';
  last_info = info;
}