mouse id: integer to string