<!--
		document.write("<scr"+"ipt language='JavaScript' src='dec_head.js'><\/scr"+"ipt>");
		document.write("<scr"+"ipt language='JavaScript' src='dec_9800.js'><\/scr"+"ipt>");
		document.write("<scr"+"ipt language='JavaScript' src='dec_foot.js'><\/scr"+"ipt>");
//-->