In a special town-square ceremony Friday, Mayor Byron Elkins officially renamed the town of Johnsville, IL, pop. 2,372, WalMart #11717. 'All WalMart #11717ians can be proud to call WalMart #11717 their home,' the mayor said. 'I think we can all agree that WalMart #11717 is a wonderful place to work and shop.' Added Elkins: 'Go WalMart #11717 High Cougars!' Other residents of WalMart #11717 were equally enthusiastic. 'The arrival of WalMart in our town this year caused dozens of stores to close, eliminating over 400 jobs,' said greeter and mother of three Marianne Gross. 'But on the bright side, nearly 150 jobs have been created by the new store.' Citizens of WalMart #11717 who behave will receive a subcutaneous corporate-identification implant chip good for an employee discount at any WalMart store. 