function include_flash_int() {document.write('

');} function include_flash_index() {document.write('

');}