_:b402576883 "10"^^ . _:b402576883 "3s" .