function wsquery(mode)
{
url = document.getElementById('val').value;
queryResult = xmldata('Result0' + mode,core + 'extend/ext_wsquery.php?swtype=whois&val=' + url + '&type=html&mode=' + mode);

}