function RandomPic(a) {
	var x = (document.all) ? document.all(a) : document.getElementById(a)
	if(x) {
		x.src='root/root' + Math.ceil(5 * Math.random()) + '.jpg'
	}
}
