I picked this $5 Otto's chip up yesterday at the AC meeting. I'm relatively new at collecting Colorado chips. Would you happen to know what the number 142 stands for ? Any info would be appreciated.

Thanks,
Victor