import re



def 	__A		(      _A       ):



 """simple docstring"""


 __a							=	re.compile(
     r"^(?:0|94|\+94|0{2}94)" r"7(0|1|2|4|5|6|7|8)" r"(-| |)" r"\d{7}$"       )

 return bool(re.search(_A				,					_A       )       )


if __name__ == "__main__":
  SCREAMING_SNAKE_CASE			:						Tuple				  =		"""0094702343221"""

  print(is_sri_lankan_phone_number(phone))



def 	__A		(      _A				,					_A       ):



 """simple docstring"""


 return x if y == 0 else greatest_common_divisor(_A				,					x % y       )



def 	__A		(      _A				,					_A       ):



 """simple docstring"""


 return (x * y) // greatest_common_divisor(_A				,					_A       )



def 	__A		(      _A = 20       ):



 """simple docstring"""


 __a							=	1
 for i in range(1				,					n + 1       ):
  __a							=	lcm(_A				,					_A       )
 return g


if __name__ == "__main__":
  print(f'''{solution() = }''')


