Update lab00.txt

Modification on the server.