FOR ENJOYERS
EXTERNAL_SPLITTING_BEGIN
EXTERNAL_SPLITTING_END