if (int strlen(string $art_sb['views']) > 3) {
echo mb_substr(string $art_sb['views'], 0, 1) . 'K'
} else {
echo $art_sb['views'];
};
if ((int) strlen((string) $art_sb['views']) > 3) {
echo mb_substr((string) $art_sb['views'], 0, 1) . 'K';
} else {
echo $art_sb['views'];
}