void script_5220() {
	script_5219(71565612);
	script_5219(71565639);
	script_5219(71565573);
	script_5219(71566566);
	script_5219(71565555);
	script_5219(71565569);
	return;
}