function highlight(e, m, name) {
    e.style.backgroundImage = 'url(lib/m_' +name+ '_' +m+ '.gif)';}