function showModule(module,modules)
{for(var i=0;i<modules.length;i++){hideModule(modules[i]);}
document.getElementById('mod'+module).style.display='block';document.getElementById('mod_button_'+module).className='mod_button_sel';}
function hideModule(module)
{document.getElementById('mod'+module).style.display='';document.getElementById('mod_button_'+module).className='mod_button';}