<!DOCTYPE html> <html> <head> <body style="white-space:pre">0123456789 </body> </html>