eads@21: <h3><?php print t('Test library: Page @page', array('@page' => $page)); ?></h3>
eads@21: 
eads@21: <div class="view-filters">
eads@21:   <form method="get" action="/" id="test-form">
eads@21:     <div><label for="test-form-page">Page:</label> <input type="text" id="test-form-page" name="test-form-page" /></div>
eads@21:     <div><input type="submit" id="test-form-submit" value="Switch page" /></div>
eads@21:   </form>
eads@21: </div>
eads@21: