menjumlahkan angka pada file txt denga php