function encode_utf8( s ) {
  	return unescape( encodeURIComponent( s ) );
}
	
function url() {
	var urlen  
		urlen = document.form.sok.value;
		
		if (urlen=='') {
		return false;
		}
		document.form.sok.disabled=true;
		urlen = urlen.toLowerCase();
		urlen = urlen.replace(',',' ');
		urlen = urlen.replace('.',' ');
		urlen = urlen.replace('_',' ');
		urlen = urlen.replace('-',' ');
		urlen = urlen.replace(/\s+/g,'-');
		urlen = escape( encode_utf8( urlen ) );
		urlen = '/' + urlen + '.html';
    	window.location.href = urlen; 
		document.form.sok.disabled=false;
		return false;
}