function include(file)  
 {  
   
	var headID = document.getElementsByTagName("head")[0];         
	var newScript = document.createElement('script');
	newScript.type = 'text/javascript';
	newScript.src = file;
	headID.appendChild(newScript);
   
 }  
   
 /* include any js files here */  
 /* docRoot is defined before this file is included in the head */
 include(docRoot+'js/front_functions.js');  
 include(docRoot+'js/validation.js.php?lang_id='+language);  
 include(docRoot+'js/ajax.js.php');  
 include(docRoot+'js/jquery.min.js');
 include(docRoot+'js/jquery.cycle.lite.min.js');
 include(docRoot+'prettyPhoto/js/prettyPhoto.js');
 include(docRoot+'js/functions.js');