Here is how to register the ir. We teach on the Irnic site. After reading this article, you can buy the domain you want on the Irnic site.