void set_icon_stock(string stock_id, int hot_x, int hot_y);