From 6.32