{php echo htmlspecialchars_decode($setting['statistics']);}