_:b145352 "13.0"^^ .