var w800=999
document.write ('<link rel="stylesheet" type="text/css" media="screen" href=');
if (screen.width<w800) {  document.write ('"s800.css">\n');}