Triangle ABC has AB = 15, BC = 13, and AC = 14. Let O be the orthocenter of this triangle, and let the reflections from the orthocenter across sides AB, BC, and AC be points D, E, and F, respectively. Find the area of ADBECF.
I was able to show that this hexagon was concyclic, but I don't know the best way to proceed from there.
