function jump(url){if(url=='null')return false;location=url;return true;}