It is not known precisely when Petra was built.