function zoeken()
{
	var query = $('query').value;
	
	var url = '/zoeken?q=' + encodeURIComponent(query);
	
	top.location = url;
}

function URLencode(sStr) {
    return escape(sStr)
       .replace(/\+/g, '%2B')
          .replace(/\"/g,'%22')
             .replace(/\'/g, '%27');
  }