/* user agent */
function pic_change(){
d=new Date();
month=d.getMonth()+1;
document.write('<IMG SRC="./top_images/' + month + '.jpg ">');
}