/* - popup_util.js - */
function show_desc(message) {
    var item = document.getElementById("description_box");
    item.innerHTML = message;
}