 
     update_hl(null)
 
+    setInterval(ranking_update, 10 * 1000)
+
     $('#pattern').text('None')
     $('#pattern-action').hide()
     $('#pattern-collect').click( (event) ->

    bind_submit_form(['#user', '#pwd'], '#send-login')
    bind_submit_form(['#new-user', '#new-pwd', '#new-pwd-check'], '#send-signup')
    bind_submit_form(['#wd-amount'], '#send-coins')

    if text_anim.num
        unk_highlight = ->

        elem = if high then '#high' else '#low'
        $(elem).addClass('bold')

numcomma = (num, limit) ->
    if not num?
        console.log('bad num', num)
        return
    n = num.toString().split('.')
    n[0] = n[0].replace(/\B(?=(\d{3})+(?!\d))/g, ",")
    if limit? and Number(num) >= limit
        # Do not show decimal places if num is above this limit.
        return n[0]
    return n.join(".")

zeropad = (x, n, s) ->
    if x.length >= n
        # Nothing to do here.
