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