function channel(chan)
{
 document.getElementById(chan).style.background = '#56859f';
}

function ausgabe(text)
{
	eval(text);
}