9って10000のことフルネーム呼び捨てだっけ？