function resizeFrame(iPixels) {
	iPixels=iPixels+30;
	f=document.getElementById('FrameHexon');
	f.style.height = iPixels + 'px';
}