document.write (" 6250 ");