To be explicit, though, you want to generate one of these manually one time, and then hardcode it here.