_:vb12087 _:vb12090 . _:vb12090 _:vb12091 . _:vb12091 . _:vb12089 . _:vb12091 "1"^^ . _:vb12089 . _:vb12090 . _:vb12091 . _:vb12091 . _:vb12087 _:vb12089 . _:vb12088 _:vb12087 . _:vb12089 . _:vb12088 .