[6.63]