convert string user_id to integer for chrome extension"