PHP работа с файлом

Есть обычный текстовый документ t.txt. В нем записаны 3 числа. Как с помощью PHP достать из файла числа.И выполнить цикл.

while ($i <= value3) {
$result ='';
if ($i%$value1==0) {
    $result .='F';} 
if ($i%$$value2==0) {
    $result .='B';}
if (!$result) {
    $result = $i;} 
    $i++;
}