//document.images["top"].style.width = screen.availWidth-(screen.availWidth*0.02)+"px";
document.images["top"].style.width = screen.availWidth-20+"px";
//var res = screen.availWidth - Math.round(screen.availWidth*0.02);
//document.images["top"].src = "resize.php?filename=media/top.jpg&width="+res;