Thank you, I’m trying to gauge how long it will take to go through this process, do you know if this is generally fairly quick or are people regularly queuing for a couple of hours? I only ask because we’ve been to the US several times and have often had to queue at airports for an hour or more.