document.write("<div class=\"menu\"><ul><li><a href=\"index.html\"><img src=\"images/menu_home.gif\" width=\"61\" height=\"18\" /></a></li><li><a href=\"about_us.html\"><img src=\"images/menu_about_us.gif\" width=\"98\" height=\"18\" /></a></li><li><a href=\"developer.html\"><img src=\"images/menu_developer.gif\" width=\"111\" height=\"18\" /></a></li><li><a href=\"how_it_works.html\"><img src=\"images/menu_how_it_works.gif\" width=\"138\" height=\"18\" /></a></li><li><a href=\"key_benefits.html\"><img src=\"images/menu_key_benefits.gif\" width=\"131\" height=\"18\" /></a></li><li><a href=\"licensing_use.html\"><img src=\"images/menu_ligensing_use.gif\" width=\"158\" height=\"18\" /></a></li><li><a href=\"contact.html\"><img src=\"images/menu_contact.gif\" width=\"95\" height=\"18\" /></a></li><li style=\"border-right:none\"><a href=\"coming_soon.html\"><img src=\"images/menu_news.gif\" width=\"65\" height=\"18\" /></a></li></ul></div>");