// It would be nice to generate this whole file, if the content is stable enough
pub const stockholm = "314929"