function showmenu() {
            var menu = document.getElementById('hidemenu');
            menu.style.display = 'block';
            var m3 = document.getElementById('m3');
            m3.style.background = 'url(\'img/menu.gif\') -135px -25px';			
}
function hidemenu() {
            var menu = document.getElementById('hidemenu');
            menu.style.display = 'none';
            var m3 = document.getElementById('m3');
            m3.style.background = 'url(\'img/menu.gif\') -135px 0px';			
}