$thumbsize) { printf("

", $thumbfile, $thumbheight); } ?>