A train takes 5 minutes to cross a telegraphic post. Then the time taken by another train whose length is just double of the first train and moving with same speed to cross a platform of its own length is :