var a_videos = [];
a_videos.push({
	name: "Grabando en10/10/2023",
	title: "video_202310101639000000_FH.mov",
	desc: "Grabando en10/10/2023",
	date: "10/10/2023",
	source: "src/lib/php/get.php?xmlvideobyname=video_202310101639000000_FH.mov"
});