| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
| <html> |
| <head> |
| <title></title> |
| <style type="text/css"> |
| html,body,h1{font-size:100%;font-style:inherit;font-weight:inherit;margin:0;padding:0;text-decoration:inherit;} |
| </style> |
| <script src=../editing.js language="javascript" type="text/javascript" ></script> |
| </head> |
| <body> |
| <h1>The Longest German Word?</h1> |
| <script type="text/javascript" language="javascript"> |
| if (window.testRunner) { |
| testRunner.dumpAsText(); |
| selectAllCommand(); |
| copyCommand(); |
| } |
| </script> |
| </body> |
| </html> |
