use int64 for 4chan numbers