/* 2006.05.24 */

home_js_url = "/inc/js/";
errormessage = null;

document.write('<script language="javascript" src="' + home_js_url + 'value.js"></script>');
document.write('<script language="javascript" src="' + home_js_url + 'function.js"></script>');
document.write('<script language="javascript" src="' + home_js_url + 'htmledit.js"></script>');