Update Lab7part2.krl