<?php if (($radminsuper==1) OR ($radminuser==1)) { adminmenu("admin.php?op=mod_users", ""._EDITUSERS."", "users.gif"); } ?>