def formatdevaddr(addr):
<EOL>return addr.replace("<STR_LIT:->", "<STR_LIT::>").encode('<STR_LIT:ascii>').upper()<EOL>
Returns address of a device in usual form e.g. "00:00:00:00:00:00"

- addr: address as returned by device.getAddressString() on an
  IOBluetoothDevice