function refresh(what,url) {
 document.getElementById(what).src="images/server/online_php.gif";
 setTimeout("refresh_status('"+what+"','"+url+"')",500);
}
function refresh_status(what,url) {
 var now=new Date();
 document.getElementById(what).src=url + now.getTime();
}