<?php
/* needed for access to build_thumb_html */
class RandomListTheme extends Themelet {}
?>