synchronize(function() {
text = text.replace(/(^s*|s*$)/g, "")
if ( window.location )
{
window.location.href = window.location.href.match(/^(.+?)(?.*)?$/)[1] + "?" + encodeURIComponent(text);
}