}
function parse_fragmentstring() {
var fragmentstring = document.URL.substr( document.URL.split("#")[0].length + 1 );
if ( fragmentstring == "" ) {
display_searchbuttons();
}
function parse_fragmentstring() {
var fragmentstring = document.URL.substr( document.URL.split("#")[0].length + 1 );
if ( fragmentstring == "" ) {
display_searchbuttons();