Update Lab7part1.krl