How are the Revenues from the ATM machines calculated?