96979899100101102103104105
if (context == null) { context = ""; } url = url.substring(context.length()); history.push(url); } }