OneSignal.push(function() {  OneSignal.getUserId(function(userId) {    console.log("OneSignal User ID:", userId);  });});