Category:Redirects from IMO numbers

Important note: The IMO number, which is a 7-digit number prefixed by "IMO", is used as a sort key for this category. As long as the above instructions for usage of the rcat R from IMO number are followed, the 7-digit sort key (without the IMO prefix) will be added automatically by the rcat.