function activate(page_uid)
{
    elem = document.getElementById('tmenu_1_'+page_uid);
    elem.src = '/fileadmin/templates/20748/images/menu_1_'
               + page_uid + '_act.png';
}
function deactivate(page_uid)
{
    elem = document.getElementById('tmenu_1_'+page_uid);
    elem.src = '/fileadmin/templates/20748/images/menu_1_'
               + page_uid + '.png';
}