// JavaScript Document
function roll_over(imgid, but, navname, navw) {
	document.getElementById(imgid).src = 'images/FrameButton' + imgid + 'RO' + but + 'x30.png';
	document.getElementById('Nav' + imgid).src = 'images/Nav' + navname + 'RO' + navw + 'x30.png';
}
function roll_out(imgid, but, navname, navw) {
	document.getElementById(imgid).src = 'images/FrameButton' + imgid + but + 'x30.png';
	document.getElementById('Nav' + imgid).src = 'images/Nav' + navname + navw + 'x30.png';
}
function getHeadWidth(leftwidth, rightwidth) {
	document.getElementById('HeadTop').style.width = 679 - leftwidth - rightwidth - 20 + 'px';
}