function writeYenExternal()
{
    document.write("two backslashes external: " + "\\" + "<br>");
}