_:b140580 "5.33135"^^ .