If 39 men can dig a canal in 15 days, in how many days can 45 men dig a canal whose length is double this canal?