Update lab7p2.krl