document.write (" 7000 ");