') } else { document.write('\n') } // page link colors a.menu1:hover { color:#FFFF00; text-decoration:underline } // page link colors a.menu1:visited { color:#FFFFFF; text-decoration:underline } document.write('') document.write('') document.write('') document.write('') document.write('') document.write('') document.write('') document.write('') document.write('') //-->