﻿<!--
// general functions
function selectURL(branche)
{
	if (branche != "")
	{
		nexturl = '?id=1&branche='+ branche;
		window.top.location.href = nexturl;
	}
}
function showDate(elDate)
{
	var today = new Date()
	var month = today.getMonth() + 1
	var day = today.getDate()
	var year = today.getFullYear()
	var s = "-"
	document.getElementById(elDate).value = day + s + month + s + year;
}
// usage: <script type="text/javascript">stretch('all');</script>
// above the closing </body> tag
function stretch(el)
{
	var x,y;
	// depending on such things as the Doc Type (or no Doc Type at all) it's either documentElement or body
	var obj = document.documentElement ? document.documentElement : document.body;
	var test1 = obj.scrollHeight;
	var test2 = obj.offsetHeight;
	if (test1 > test2) // all but Explorer Mac
	{
		x = obj.scrollWidth;
		y = obj.scrollHeight;
	}
	else // Explorer Mac;
		 //would also work in Explorer 6 Strict, Mozilla and Safari
	{
		x = obj.offsetWidth;
		y = obj.offsetHeight;
	}
	// document.getElementById(el).style.width = x + 'px';
	document.getElementById(el).style.height = y + 'px';
}
//-->
