用JavaScript和html做的一个扫雷程序