function IncludeJavaScript(jsFile)
{
  var domain = "";  
  document.write('<script type="text/javascript" src="'+ domain+ jsFile + '"></script>'); 
}
IncludeJavaScript('/bin/icssearchstyle/js/shortcut.js');
IncludeJavaScript('/bin/icssearchstyle/js/hotkey.js');
IncludeJavaScript('/bin/icssearchstyle/js/scriptaculous/prototype.set.js');
IncludeJavaScript('/bin/icssearchstyle/js/scriptaculous/scriptaculous.js?load=effects,controls');
IncludeJavaScript('/bin/icssearchstyle/js/highlight.js');
IncludeJavaScript('/bin/icssearchstyle/js/tabledata.js');
IncludeJavaScript('/bin/icssearchstyle/js/ie6tabledata.js');
//IncludeJavaScript('ics.js');