<?php
declare(strict_types=1);

$image = imagecreatetruecolor(9, 9);
$red = imagecolorallocate($image, 255, 0, 0);
imagesetthickness($image, 3);
imageline($image, 0, 2, 8, 2, $red);
imagesetthickness($image, 1);
imageline($image, 0, 6, 8, 6, $red);
$pixel = imagecolorsforindex($image, imagecolorat($image, 4, 5));
echo $pixel["red"], ",", $pixel["green"], ",", $pixel["blue"], "\n";
