function print_flash(flash){
   document.write(flash);
}