function dom2000() {
	var x = document.getElementById('dom2000_img');
	if (0 && x) x.src += '/rnd/'+Math.round(Math.random()*10000);
}
dom2000();