intenta ponerle el nombre al 

`$row['refprofesor'];`


quedaria

`while($row = mysqli_fetch_array($query4, MYSQLI_NUM))
{
echo $ejemplo = $row['refprofesor']."<br>";
}`