Update lab00.txt