function wsquery()
{
domain = document.getElementById('val').value;
queryResult = xmldata('Result',core + 'extend/ext_wsquery.php?swtype=isdrug&val=' + domain +'' );
}