<doc>&#X58;</doc>