// JavaScript Document
// Name:	top_style.js
// Desc: 	contains bottom table include
//
// $LastChangedDate: 2008-06-18 11:06:47 +0200 (Mi, 18 Jun 2008) $
// $Id: top.js 20 2008-06-18 09:06:47Z eric $

function WriteTopMenu(strPath)
{
	document.writeln ('<div id="header">');
	document.writeln ('<div id="languageSwitch"><a href="' + strPath + '/index.html" id="langDE" class="active"><span>Deutsch</span></a><a href="' + strPath + 'en/index.html" id="langEN"><span>English</span></a></div>');
	document.writeln ('<a id="homeLink" href="' + strPath + 'index_bpw.html"><br /></a></div>');
} // WriteTopMenu

/*function sf()
{
	document.f.query.focus() ;
}*/