script src="/js/varie.js" type="text/javascript">