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"); }