Implement the unique-id() function