document.write (" 4700 ");