<?php
function varmi($num) {
	$a = file_get_contents('dosya.txt');
	$a = explode('|',$a);
	for($i=0;$i<=count($a)-1;$i++) {
		if($a[$i]===$num) {
			return true;
		}
	}
	return false;
}

$kontrol = true;
while($kontrol) {
	$num = rand(0,15);
	$kontrol = varmi("$num");
}
echo "Yok: $num";
?>