// text beside icons
function change_icon_text(text)
{
  document.getElementById('icon_name').innerHTML = text;
}