with (document)
{write('<img src="../pics/red.gif" class="listrule">');}