function load_j(libraryName)
{
var j=libraryName.split(',');
for (a = 0; a < j.length; a++)
    document.write('<SCRIPT LANGUAGE="JavaScript" SRC="utils/java/'+j[a]+'.js" TYPE="text/javascript"></SCRIPT>');
}