def js_hashjump(hashtags):
    return ('<script><!--\nvar h=location.hash; if(h.length > 1) { if(h!=\'#_h\' && h!=\'#_f\') { var n="#"+%s(%s,h.slice(1)); if (h!=n) location.hash=n; } } else location.href="index.html"\n//--></script>' % (js_binchop, old_javascript_array(hashtags)))
def js_hashjump(hashtags):
    return ('<script><!--\nvar h=location.hash; if(h.length > 1) { if(h!=\'#_h\' && h!=\'#_f\') { var n="#"+%s(%s,h.slice(1)); if (h!=n) location.hash=n; } } else location.href="index.html"\n//--></script>' % (js_binchop, old_javascript_array(hashtags)))