document.write (" 3100 ");