// JavaScript Document
function init(){
	var element = document.getElementById("panel");
	var bg = "background:url(images/panel_bg"+(Math.floor(Math.random()*9))+".jpg);";
	element.style.cssText = bg;
}