Hokkien dialects are typically written using Chinese characters (漢字, Hàn-jī). What is another name for standard written chinese?