function showMsg(text) {
document.getElementById('nav_title').innerHTML = text;
}