//version 5.1a save theWidth http://www.real-world-systems.com/ to gif document.write( " "+ " "+ "" ); if (document.url != "index.html" ) document.write ( " "+ " "+ " " ); document.write( " "+ "
"+ " \r  [ home ]  \r"+ "
"+ "webmaster "+ " "+ "This page last modified on " + document.lastModified + "
" + "©2004 Real-World-Systems, All rights reserved. " + " " ); var theWidth= screen.width; if (window.innerWidth) theWidth = window.innerWidth; else if (document.documentElement && document.documentElement.clientWidth) theWidth = document.documentElement.clientWidth; else if (document.body ) theWidth = document.body.clientWidth; var k; k = document.location + "&referer=" + escape(document.referrer)+ "&size=" + theWidth + "&"+document.cookie; document.write( ""); document.write( "
") // //////////// end of enddoc.js