_:b402592513 "00s" . _:b402592513 "16"^^ .