<?php
	// Restore state
	$row_idx    = $last_row_idx;
	$column_idx = $last_column_idx;
?>
/* ignore: */ <table>
</table>