if((typeof ajax_parse_dom == 'function')) ajax_parse_dom(); ";