HANOIと書かれたマンホール。