$thumbsize) { printf("
\"\"
", $thumbfile, $thumbheight); } ?>