Create mutex4.html