function gif_over(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('.gif','r.gif');
} 
function gif_out(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('r.gif','.gif');
}

function change_pic() {
	n = Math.round(Math.random()*11);
	document.all.bot.style.backgroundImage='url("'+imgpath+'../../../templates/svtmihail/images/bot/bg-bot'+n+'.jpg")';
}