13 8 72 .]