_:vb12800 . _:vb12803 _:vb12804 . _:vb12800 . _:vb12801 . _:vb12802 _:vb12803 . _:vb12802 . _:vb12804 . _:vb12803 . _:vb12800 _:vb12801 . _:vb12801 _:vb12802 . _:vb12804 .