var searchArg = "" ;


Ext.onReady(function() {        
	var win = window;

    Ext.fly('P_searchtext').on("keypress", function(e) {
		var v = e.getCharCode();                                      
        if (v == 13) 
        {
			var searchUrl = "?did=9073930&box9073930argument=[arg]".replace('[arg]', Ext.get('P_searchtext').dom.value);
			setTimeout( "window.location.href = '[arg]'".replace('[arg]', searchUrl), 0 );
        }

    }, this);
    
    
});