</style> </head> <body> <script type="text/javascript"> function $(id) { return document.getElementById(id); }