cse373-lecture12-sp07