if (!document.all){document.write("\");}