VisualIdeas

if(isset($_SESSION['user'])) {
       echo '<script>document.location.href = "exemple.php";</script>';
}

$matrix = array();
$matrix2 = array();
/// Здесь код 

$matrix[] = $matrix2;
$matrix[] = $matrix2;
$matrix[] = $matrix2;
$matrix[] = $matrix2;
$matrix[] = $matrix2;
............

$array_texts = array(
"ремонт телефонов", "ремонт компьютеров", "ремонт ноутбуков"
);
// А тут куча варинатов получить рандомную переменную) Как вариант
$alttext = $array_texts[mt_rand(0, count($array_texts)-1)]

ol 
    & > li 
        & > ul 
            & > li 
                стили