function putMail(a,b)
{
document.write ('<');
document.write ('a href="mailto:');
document.write (a);
document.write ('@');
document.write (b);			
document.write ('">');
document.write (a);
document.write ('@');
document.write (b);
document.write ('<');
document.write ('/a>');			
}
function highlight(name,farbe)
{
if(document.getElementById)
{
document.getElementById(name).style.backgroundColor=farbe;
}}