_:b401558547 "pop" . _:b401558547 "3"^^ .