document.write(" $\"Washington,$
$\"Washington$ ");document.close();