tet * 12 825 ).