function put_translator_box(rm)
{
var right_margin = -140;
if(typeof(rm) == "number") right_margin = rm;
document.write("\n");
document.write("\n");
document.write("
\n");
document.write("
\n");
document.write("
\n");
document.write("
\n");
document.write("
\n");
document.write(" \n");
document.write(" \n");
document.write("
\n");
document.write(" \n");
document.write(" \n");
document.write(" \n");
document.write(" \n");
document.write("
\n");
document.write("
\n");
document.write("
\n");
document.write("\n");
}