// JavaScript Document
/*
function show_flash(src, movie, width, height, quality, menu, bgcolor, flashvars)
{
document.write("");
}
*/
function show_referenzen()
{
document.write('');
}
function show_footer(swf_dateipfad)
{
document.write('');
}
function show_leistungen(swf_dateipfad)
{
document.write('');
}
function show_service(swf_dateipfad)
{
document.write('');
}