Updated LabK6.v