document.write (" 4200 ");