<?php

if ($radminsuper==1) {
    adminmenu("index.php?mod=Admin&op=optimize", "Optimize DB", "optimize.gif");
}

?>