document.write (" 3700 ");