function resizePlayerHeight(height)
{
	if (document.getElementById && document.getElementById('heux')) document.getElementById('heux').height=height;
}