






'''simple docstring'''







from datetime import datetime

import requests
def 						A__			(				__lowerCAmelCase		:			str						):
						lowerCamelCase__         =  """https://downloadgram.net/wp-json/wppress/video-downloader/video?url="""
						lowerCamelCase__         =  requests.get(base_url + url						).json()[0]["""urls"""][0]["""src"""]
						return requests.get(__lowerCAmelCase						).content


if __name__ == "__main__":
							UpperCamelCase    :      str     =		input('Enter Video/IGTV url: ').strip()
							UpperCamelCase    :      str     =		F'{datetime.now():%Y-%m-%d_%H:%M:%S}.mp4'
							with open(file_name, 'wb') as fp:
														fp.write(download_video(url))
							print(F'Done. Video saved to disk as {file_name}.')









'''simple docstring'''







def 						A__			(				):
						return [
						    a * b * (1000 - a - b)
						    for a in range(1   ,    999						)
						    for b in range(__lowerCAmelCase   ,    999						)
						    if (a * a + b * b == (1000 - a - b) ** 2)
						][0]


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

