<?php class BookmarksTheme extends Themelet { } ?>