function jump_to_alpha(s) {
  $('subjectHolder').scrollTop = (navigator.userAgent.indexOf('MSIE') > -1) ? $('alphalabel_'+s).offsetTop : $('alphalabel_'+s).offsetTop-$('subjectHolder').offsetTop;
}