_:b91527 "15.0"^^ .