ToString js.symbol