//begin : push notification script