function resizeElement(id, width, height)
{
	element = document.getElementById("launcher");
	element.style.height = height+"px";
	element.style.width = width+"px";
}