function resizeFlash(){var a;a=document.body.clientHeight-72-177;if(a<640){a=640}setswfHeightPixels("flashcontent",a,null)};