// JavaScript Document
if(history.length > 1) {
	document.write('<div class="header">');
	document.write('<a href="javascript:history.back();"class="submenu">');
	document.write('&lt; zur&uuml;ck zum Firmenindex</a>');
	document.write('</div>');
}