Added LabK6.v