// JavaScript Document
function change_random_num(obj,img_url){
	 var timenow = new Date().getTime();
	 //var img=document.getElementById("random_img"); 
	 if(img_url==null){
	 	var arr=obj.src.split("?");
		obj.src=arr[0]+"?d="+timenow;
	 }else{
		obj.src=img_url+"?d="+timenow;
	 }
}
function form_submit(form_id){
	web_form=document.getElementById(form_id);
	
	if(formhandle(web_form))
		web_form.submit();//¿ÉÄÜ´æÔÚ²»¼æÈÝ
		//document.search_form.submit();
}