#!/bin/csh -f 
#
echo "Checking document 4092"
/usr/local/bin/rlog ./4/4092/content.shtml
echo "Checking document 3444"
/usr/local/bin/rlog ./3/3444/content.shtml
echo "Checking document 3445"
/usr/local/bin/rlog ./3/3445/content.shtml
echo "Checking document 3446"
/usr/local/bin/rlog ./3/3446/content.shtml
echo "Checking document 3447"
/usr/local/bin/rlog ./3/3447/content.shtml
echo "Checking document 3448"
/usr/local/bin/rlog ./3/3448/content.shtml
echo "Checking document 3449"
/usr/local/bin/rlog ./3/3449/content.shtml

exit