window.onload=begin_mining;