a more elaborate method of retrieving the value id of symbol