document.writeln(" English<\/a> | ");
document.writeln("Français<\/a> | ");
document.writeln("العربية<\/a> | ");
document.writeln("Deutsch<\/a> | ");
document.writeln("Italiano<\/a> | ");
document.writeln("日本語<\/a> | ");
document.writeln("한국어<\/a> | ");
document.writeln("Русский<\/a> | ");
document.writeln("Español<\/a> | ");
document.writeln("简体中文<\/a> ");
document.writeln("繁體中文<\/a> ");
document.writeln("");