استان سمنان، شهر سرخه، شهرستان سرخه، سرخه، سمنان