function $(a){return document.getElementById(a)}function set_html(a,b){$(a).innerHTML=b}function get_html(a){return $(a).innerHTML}function show(a){set_html('content',get_html('bk-'+a))}