@revision_array=();
if (m/<!-- Start_of_revision-->(.+)<!-- End_of_revision-->/mg)
	{
	push (@revision_array, $1);
	}