According to this expression, if our Sun was replaced by a star twice the mass, how many days would our year be?