.
platincasino code emcs