var dir = location.href.substring(0,location.href.lastIndexOf('/')-2);
var url = location.href.substring(dir.length,location.href.length+1);
var lnk = url.substring(url.length,2);
var lan = url.substring(0,2);
if ( lan == "de" ) {a1 = "en"; a2 = "gr";}
if ( lan == "en" ) {a1 = "de"; a2 = "gr";}
if ( lan == "gr" ) {a1 = "en"; a2 = "de";}
document.write("<TABLE CELLSPACING=0 CELLPADDING=0 BORDER=0><TR><TD><A HREF='/"+a1+lnk+"'><IMG SRC='/0img/fl_"+a1+".gif' WIDTH='30' HEIGHT='19' BORDER='0'></A>"+"<IMG SRC='/0img/t01.gif' WIDTH='4' HEIGHT='1' BORDER='0'>"+"<A HREF='/" + a2 + lnk +"'><IMG SRC='/0img/fl_"+a2+".gif' WIDTH='30' HEIGHT='19' BORDER='0'></A></TD></TR></TABLE>");