I december samma år bildades the Hong Kong Internet Registration Corporation ( HKIRC ) .