1<html>
2<head>
3<script>
4function hst() {
5  var search = location.search;
6  var historyToken = '';
7  if (location.search.length > 0)
8    historyToken = decodeURIComponent(location.search.substring(1));
9
10  document.getElementById('__historyToken').value = historyToken;
11  if (parent.__onHistoryChanged)
12    parent.__onHistoryChanged(historyToken);
13}
14</script></head>
15<body onload='hst()'>
16
17<input type='text' id='__historyToken'>
18
19</body>
20</html>
21