Update lab12.html as lab13.html