var winUrl = window.location;
var topUrl = top.location;
if (winUrl != topUrl) {
  top.location.href = winUrl;
}

function setArrow (el, direction, styleId) {
  el.src = 'img/arrow-' + direction + '-13x13-' + styleId + '.gif';
}