>>516
いいかもしれないですね。

>>519
hostidの代替としては、ユーザが任意に変更しにくい値がいいんですが...