昔ならインダストリア市民は番号が付いてるだろう、というのがブラックジョークになってたな