function writeLanguageLinks() {

var path = document.location.href;
var url = path.substr(path.lastIndexOf("/")+1,path.length);
var lang;

	if (path.toUpperCase().indexOf("/E/")!=-1)
		lang = new Array('E','<a href="../d/'+url+'">D</a>','<a href="../f/'+url+'">F</a>');
	
	if (path.toUpperCase().indexOf("/D/")!=-1) 
		lang = new Array('<a href="../e/'+url+'">E</a>','D','<a href="../f/'+url+'">F</a>');
	
	if (path.toUpperCase().indexOf("/F/")!=-1) 
		lang = new Array('<a href="../e/'+url+'">E</a>','<a href="../d/'+url+'">D</a>','F');

	document.write('<table class="white-bg" border="0" cellpadding="0" cellspacing="0">\n');
	document.write('\t<tr>\n');
	document.write('\t\t<td>'+lang[0]+'</td>\n');
	document.write('\t\t<td class="divider">&nbsp;|&nbsp;</td>\n');
	document.write('\t\t<td>'+lang[1]+'</td>\n');
	document.write('\t\t<td class="divider">&nbsp;|&nbsp;</td>\n');
	document.write('\t\t<td>'+lang[2]+'</td>\n');
	document.write('\t\t<td><img src="../../images/white.gif" width="72" height="20" border="0"></td>\n');
	document.write('\t</tr>\n');
	document.write('</table>\n');

}