added function in symbol to get numerical id