var browser_name = navigator.appName ; var browser_ver = parseInt(navigator.appVersion, 10) ; var browser_colourdepth = window.screen.colorDepth ; var browser_width = 0 ; var browser_height = 0 ; var setlist = "" ; var setlist_page = "" ; function select_active_image(name) { if ( browser_colourdepth >= 16 ) { document.getElementById("img_" + name).src = "images/" + name + "_active.png" ; } else { document.getElementById("img_" + name).src = "images/" + name + "_active.gif" ; } } function highlight_image(name) { document.getElementById("img_" + name).src = "images/" + name + "_hi.jpg" ; } function unhighlight_image(name) { document.getElementById("img_" + name).src = "images/" + name + ".jpg" ; } function load_setlist() { var setlist = window.location.search.substr(1, 3) ; if ( setlist == "" ) { var setlist_page = "select_date.html" ; } else { var setlist_page = "set" + setlist + ".html" ; } document.write('') ; document.write('Your browser does not appear to support embedded objects.') ; document.write('') ; resize_setlist() ; } function resize_setlist() { calc_window_size() ; var object_width = Number(browser_width - 390) ; var object_height = Number(browser_height - 20) ; document.setlist_obj.width = String(object_width) ; document.setlist_obj.height = String(object_height) ; } function calc_window_size() { if ( typeof( window.innerWidth ) == 'number' ) { //Non-IE browser_width = window.innerWidth; browser_height = window.innerHeight; } else if ( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) { //IE 6+ in 'standards compliant mode' browser_width = document.documentElement.clientWidth; browser_height = document.documentElement.clientHeight; } else if ( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) { //IE 4 compatible browser_width = document.body.clientWidth; browser_height = document.body.clientHeight; } else { // set to 600x400 if we cannot determine size browser_width = 600 ; browser_height = 400 ; } } function modify_link(link_id, link_href) { document.getElementById(link_id).href = link_href ; } function generate_mailto(person, domain) { var link = "mailto: " + person + "@" + domain window.location = link }