The interior angle of a regular polygon is double the exterior angle. The number of sides of the polygon is