static function getWeek($this1)
 {
     $week = Std::int((Std::int(($this1 - 62135596800.0 - datetime__DateTime_DateTime_Impl_::yearStart($this1)) / 86400) + 1 - datetime__DateTime_DateTime_Impl_::getWeekDay($this1, true) + 10) / 7);
     $year = datetime__DateTime_DateTime_Impl_::getYear($this1);
     if ($week < 1) {
         return datetime__DateTime_DateTime_Impl_::weeksInYear($year - 1);
     } else {
         if ($week > 52 && $week > datetime__DateTime_DateTime_Impl_::weeksInYear($year)) {
             return 1;
         } else {
             return $week;
         }
     }
 }