そのphpで開いてる間はほかの人読み取り不可にしたいなと
$aのテキストファイルはカウンターリストみたいなもんでして