Create mutex7.html