//Filename:	scripts.js
//Description:	Writes links to various javascript files.
//Versions:	1.0 - 29-Apr-2006

document.write('<script language="javascript" src="..\/script\/horizscroll.js"><\/script>');
document.write('<script language="javascript" src="..\/script\/manusban.js"><\/script>');