function set_width() {
	var w = (document.body.clientWidth || window.innerWidth);
	var code;
	var td_width;
	if (w >= 1000) {
		code = '<img src="./i/1.gif" width="658" height="1" alt="" />';
		td_width = 660;
	}
	else {
		code = '<img src="./i/1.gif" width="' + (w-342) +'" height="1" alt="" />';
		td_width = w-340;
	}
	document.getElementById('JSSpacer').innerHTML = code;
	document.getElementById('JSStretchingCell').width = td_width;
}