_:b91035 "12.0538"^^ .