اگر كارمند دولت بميرد و دولت به عنوان حقوق بازنشستگى، مبلغى را به خانواده مرحوم بدهد، آيا اين مبلغ ميراث خواهد بود، در صورتى كه در زندگانى ميّت از حقوق ماهيانه او اين مبلغ كسر نشده است، آيا بين ورّاث تقسيم خواهد شد و آيا چنين مبلغى خمس دارد؟