// JavaScript Document
function set_aktive_seite (id) {
var m_punkt=document.getElementById(id);

  document.getElementById(id).className='aktiv';


}