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