Пожалуйста, попробуйте проверить, содержит ли $ doc данные или нет. Кажется, что документ пуст, поэтому он не может выполнить скрипт и выдает ошибку.
Вы также можете проверить код, например:
if(!empty($doc))
{
// Do you stuff
}
или
if(isset($doc->pros_name)) {
$n = explode (",",$doc->pros_name);
}