if(window.location.href.indexOf('#msg') == -1) {window.location.href = window.location.href + '#msg';}
display_assertion();