function resizePx(pixels) {
	if(document.getElementById('mainBox') != null) {
		document.getElementById('mainBox').className = pixels;
	}
	return false;
}