<!--
if (document.images)
{
var myimage0=new Image(23,23);
myimage0.src="images/paging_1.gif";
}
//-->