_:b401248817 "pop" . _:b401248817 "16"^^ .